Title :
Proceedings The Computer Security Foundations Workshop VII
Abstract :
The following topics were dealt with: non-interference and composability; formal methods and semantics; modelling; the general write-upproblem; cryptographic protocol analysis; security policies; access control; the role of the reference monitor; and protocol security
Keywords :
security of data; access control; composability; computer security; cryptographic protocol analysis; formal methods; modelling; noninterference; protocol security; security policies; semantics;
Conference_Titel :
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings
Conference_Location :
Franconia, NH, USA
Print_ISBN :
0-8186-6230-1
DOI :
10.1109/CSFW.1994.315953
