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;
Conference_Titel :
Computer Security Foundations Symposium (CSF), 2010 23rd IEEE
Conference_Location :
Edinburgh
Print_ISBN :
978-1-4244-7510-0
DOI :
10.1109/CSF.2010.33
