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

Descrizione completa

Dettagli Bibliografici

Pubblicato in:	Software engineering notes. 26, 5 (2001).
Autore principale:	Basin, David
Natura:	Articolo
Lingua:	inglese
Soggetti:	Software. Software engineering. Requirements/Specifications. Z. Security. Verification. CORBA security. Formal methods. Specification.