PUMA
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.
 
 
Abstract
(English)
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