DocumentCode
3182131
Title
Safety via state transition language plus invariants
Author
Marcus, Leo ; Menas, Telis
Author_Institution
Aerospace Corp., Los Angeles, CA, USA
fYear
1989
fDate
11-14 Jun 1989
Firstpage
71
Lastpage
77
Abstract
Liveness and safety properties are discussed from the standpoints of their topological characterizations and their expressibility in a state transition language with added invariants. The strengths of the languages obtained by varying the exact definition of the interval of invariance are analyzed. With the help of the topological characterizations, it is shown that pure liveness cannot be used to prove safety
Keywords
formal languages; security of data; expressibility; invariance interval; liveness; safety properties; state transition language plus invariants; topological characterizations; Aerospace safety; Computer science; Computer security; Laboratories; Logic; Topology;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location
Franconia, NH
Type
conf
DOI
10.1109/CSFW.1989.40589
Filename
40589
Link To Document