DocumentCode
1642772
Title
[Front cover]
fYear
2010
Abstract
The following topics are dealt with: quantitative security; security protocol verification; privacy; anonymity; authorization; information flow; security specifications; and language-based security.
Keywords
authorisation; data privacy; anonymity; authorization; information flow; language-based security; privacy; quantitative security; security protocol verification; security specifications;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Symposium (CSF), 2010 23rd IEEE
Conference_Location
Edinburgh
ISSN
1940-1434
Print_ISBN
978-1-4244-7510-0
Type
conf
DOI
10.1109/CSF.2010.33
Filename
5552660
Link To Document