Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13
- 1 January 2000
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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 securityKeywords
This publication has 0 references indexed in Scilit: