Title :
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13
Abstract :
The following topics were dealt with: computer security; names and certificates; strands and multiset writing; automated security protocol methods; network security; invariants; induction; ranks; languages; noninterference and information flow; Java and mobile code security; and types and language-based security
Keywords :
security of data; Java code security; automated security protocol methods; certificates; computer security; induction; information flow; invariants; language-based security; languages; mobile code security; multiset writing; names; network security; noninterference; ranks; strands; types;
Conference_Titel :
Computer Security Foundations Workshop, 2000. CSFW-13. Proceedings. 13th IEEE
Conference_Location :
Cambridge, UK
Print_ISBN :
0-7695-0671-2
DOI :
10.1109/CSFW.2000.856920
