Istituto di Informatica e Telematica     
Matteucci I. A Tool for the Synthesis of Controller Programs. In: FAST'06 - 4th international conference on Formal aspects in security and trust (Ontario, Canada, 2007). Proceedings, vol. 4691 pp. 112 - 126. Springer-Verlag, 2007.
In previous works we have developed a theory based on formal methodsfor enforcing security properties by defining process algebra controller operators.In this paper we continue our line of research, by describing a tooldeveloped for synthesizing a model for a given security property that is also acontrol program for a given controller operator. The tool implements the partial model checking technique and the satisfiability procedure for a modal ?-calculusformula.
Subject Security Protocols
partial model checking
K.6.5 Security and Protection (D.4.6, K.4.2)

Icona documento 1) Download Document PDF

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