DocumentCode
2867377
Title
[Title page i]
fYear
2011
fDate
27-29 June 2011
Abstract
The following topics are dealt with: security protocol verification; authorization; security policies; language-based security; information flow; security notions; privacy; and anonymity.
Keywords
authorisation; cryptographic protocols; data flow analysis; data privacy; formal verification; anonymity; authorization; information flow; language-based security; privacy; security notions; security policies; security protocol verification; security specifications;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Symposium (CSF), 2011 IEEE 24th
Conference_Location
Cernay-la-Ville
ISSN
1940-1434
Print_ISBN
978-1-61284-644-6
Type
conf
DOI
10.1109/CSF.2011.1
Filename
5992143
Link To Document