Title :
Security modelling using hierarchical state machines
Author_Institution :
Dept. of Electr. Eng., Toronto Univ., Ont., Canada
Abstract :
The paper defines a modelling scheme that allows for abstraction to simplify security analysis, while at the same time permitting a full description of detailed system behaviour. The basis for the model is a hierarchy of state machines. The security equivalence of the varying levels of abstraction is proven, thereby demonstrating the validity of the model. Also, practical considerations regarding the application of the model to real systems are presented
Keywords :
finite state machines; security of data; abstraction; detailed system behaviour; hierarchical state machines; modelling scheme; security analysis; state machines; Application software; Circuits; Computer architecture; Computer security; Formal languages; Hardware; Process design; Software design; Software systems; Very large scale integration;
Conference_Titel :
Computer Security Applications Conference, 1991. Proceedings., Seventh Annual
Conference_Location :
San Antonio, TX
Print_ISBN :
0-8186-2280-6
DOI :
10.1109/CSAC.1991.213013
