Umfang:
1 Online-Ressource (224 pages)
ISBN:
0818679905
,
9780818679902
Inhalt:
Proceedings of the June 1997 workshop. Topics of the 19 papers include verifying authentification protocols with CSP; exact analysis and engineering applications for cryptographic protocols; mechanized proofs for a recursive authentification protocol; languages for formal specifications of security protocols; unreliable intrusion detection in distributed computations; an efficient non-repudiation protocol; eliminating covert flows with minimum typings; the future of the Computer Security Foundations Workshop; separation of duty in role- based environments; and a logic for state transformations in authorization policies. No index. Annotation copyrighted by Book News, Inc., Portland, OR
Sprache:
Englisch
Schlagwort(e):
Konferenzschrift