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...

Popoln opis

Bibliografske podrobnosti

izdano v:	Software engineering notes. 26, 5 (2001).
Glavni avtor:	Basin, David
Format:	Article
Jezik:	English
Teme:	Software. Software engineering. Requirements/Specifications. Z. Security. Verification. CORBA security. Formal methods. Specification.