Publica
Hier finden Sie wissenschaftliche Publikationen aus den FraunhoferInstituten. Abstraction based verification of a parameterised policy controlled system
 Gorodetsky, V.: Computer network security. Fourth International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security, MMMACNS 2007 : St. Petersburg, Russia, September 1315, 2007; Proceedings Berlin: Springer, 2007 (Communications in computer and information science 1) ISBN: 3540739858 ISBN: 9783540739852 S.228241 
 International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security (MMMACNS) <4, 2007, St. Petersburg> 

 Englisch 
 Konferenzbeitrag 
 Fraunhofer SIT () 
Abstract
Safety critical and business critical systems are usually controlled by policies with the objective to guarantee a variety of safety, liveness and security properties. Traditional model checking techniques allow a verification of the required behaviour only for systems with very few components. To be able to verify entire families of systems, independent of the exact number of replicated components, we developed an abstraction based approach to extend our current tool supported verification techniques to such families of systems that are usually parameterised by a number of replicated identical components. We demonstrate our technique by an exemplary verification of security and liveness properties of a simple parameterised collaboration scenario. Verification results for configurations with fixed numbers of components are used to choose an appropriate property preserving abstraction that provides the basis for an inductive proof that generalises the results for a family of systems with arbitrary settings of parameters.