DocumentCode
2947939
Title
[Title page i]
fYear
2012
fDate
25-27 June 2012
Abstract
The following topics are dealt with: computer security foundations; information-flow security; symbolic protocol verification; access control; systems security; information theory; and cryptography proving.
Keywords
authorisation; cryptographic protocols; information theory; access control; computer security foundations; cryptography proving; information theory; information-flow security; symbolic protocol verification; systems security;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Symposium (CSF), 2012 IEEE 25th
Conference_Location
Cambridge, MA
ISSN
1940-1434
Print_ISBN
978-1-4673-1918-8
Electronic_ISBN
1940-1434
Type
conf
DOI
10.1109/CSF.2012.1
Filename
6266175
Link To Document