Title :
Proceedings 10th Computer Security Foundations Workshop
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;
Conference_Titel :
Computer Security Foundations Workshop, 1997. Proceedings., 10th
Conference_Location :
Rockport, MA, USA
Print_ISBN :
0-8186-7990-5
DOI :
10.1109/CSFW.1997.596773
