A formal data-model of the CORBA security service.

We use the formal language Z to specify and analyze the security service of CORBA. In doing so, we tackle the problem of how one can apply lightweight formal methods to improve the precision and aid the analysis of a substantial, informal specification. Our approach is scenario-driven: we use repres...

Full description

Bibliographic Details

Published in:	Software engineering notes. 26, 5 (2001).
Main Author:	Basin, David
Format:	Article
Language:	English
Subjects:	Software. Software engineering. Requirements/Specifications. Z. Security. Verification. CORBA security. Formal methods. Specification.