Title :
Security properties consistent with the testing semantics for communicating processes
Author :
Johnson, Dale M. ; Thayer, F. Javier
Author_Institution :
Mitre Corp., Bedford, MA, USA
Abstract :
A theory of security that is based on specification languages for communicating processes and the formal testing semantics for such languages is developed. The DeNicola-Hennessy theory of testing semantics for processes as presented by M. Hennessy (Algebraic Theory of Processes, MIT Press, Cambridge, MA, 1988) is reviewed in some detail. The theory is then applied to the analysis of certain information flows
Keywords :
information theory; security of data; specification languages; testing; DeNicola-Hennessy theory; acceptance trees; communicating processes; denotational model; formal testing semantics; information flows; labeled transition systems; security theory; specification languages; testing equivalence; Carbon capture and storage; Computational modeling; Distributed computing; Humans; Printers; Process control; Security; System recovery; TV; Testing;
Conference_Titel :
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location :
Franconia, NH
DOI :
10.1109/CSFW.1989.40582
