Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Semini L. Formal Description and Validation of an Interaction policy in an Object-Oriented Framework. Technical report, 1999.
Formal methods are increasingly used to validate the design of software and hardware components of safety critical systems. We describe here a case study where a formal verification method was applied in practice. As a case study we have considered a safe interaction policy between communicating objects, the Multiple Levels of Integrity policy. This policy can be seen as a communication protocol that guarantees the integrity of sensible data. Formal specification is given using a process algebra, and validation is done following a model checking approach.
Subject D.2.4 Software/Program Verification
D.4.5 Reliability
D.4.6 Security and Protection

Icona documento 1) Download Document PDF
Icona documento 2) Download Document PS

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional