DocumentCode
1994448
Title
Proceedings The Computer Security Foundations Workshop VII
fYear
1994
fDate
14-16 June 1994
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings
Conference_Location
Franconia, NH, USA
ISSN
1063-6900
Print_ISBN
0-8186-6230-1
Type
conf
DOI
10.1109/CSFW.1994.315953
Filename
315953
Link To Document