Title :
Safety via state transition language plus invariants
Author :
Marcus, Leo ; Menas, Telis
Author_Institution :
Aerospace Corp., Los Angeles, CA, USA
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;
Conference_Titel :
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location :
Franconia, NH
DOI :
10.1109/CSFW.1989.40589
