A formal data-model of the CORBA security service

  • Authors:

  • David Basin;Frank Rittinger;Luca Viganò

  • Affiliations:

  • Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Georges-Köhler-Allee 52, D-79110 Freiburg, Germany;Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Georges-Köhler-Allee 52, D-79110 Freiburg, Germany;Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Georges-Köhler-Allee 52, D-79110 Freiburg, Germany

  • Venue:
  • Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 representative scenarios to determine which parts of the informal specification should be formalized and then verify the formal specification against the requirements of these scenarios.