DocumentCode
2505288
Title
Proceedings 10th Computer Security Foundations Workshop
fYear
1997
fDate
10-12 June 1997
Abstract
The following topics were dealt with: protocol checking in CSP; protocol engineering; protocol verification in higher-order logic; languages for formal specification of security protocols; distributed system security; protocol applications; information flow; computer security foundations; and security policies
Keywords
communicating sequential processes; distributed processing; protocols; security of data; CSP; communicating sequential processes; computer security foundations; distributed system security; formal specification languages; higher-order logic; information flow; protocol applications; protocol checking; protocol engineering; protocol verification; security policies; security protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1997. Proceedings., 10th
Conference_Location
Rockport, MA, USA
ISSN
1063-6900
Print_ISBN
0-8186-7990-5
Type
conf
DOI
10.1109/CSFW.1997.596773
Filename
596773
Link To Document