DocumentCode
2241381
Title
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13
fYear
2000
fDate
5-5 July 2000
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 2000. CSFW-13. Proceedings. 13th IEEE
Conference_Location
Cambridge, UK
ISSN
1063-6900
Print_ISBN
0-7695-0671-2
Type
conf
DOI
10.1109/CSFW.2000.856920
Filename
856920
Link To Document