DocumentCode
3141797
Title
Security modelling using hierarchical state machines
Author
Nestor, John P.
Author_Institution
Dept. of Electr. Eng., Toronto Univ., Ont., Canada
fYear
1991
fDate
2-6 Dec 1991
Firstpage
110
Lastpage
119
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Applications Conference, 1991. Proceedings., Seventh Annual
Conference_Location
San Antonio, TX
Print_ISBN
0-8186-2280-6
Type
conf
DOI
10.1109/CSAC.1991.213013
Filename
213013
Link To Document