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;
Conference_Titel :
Computer Security Foundations Symposium (CSF), 2011 IEEE 24th
Conference_Location :
Cernay-la-Ville
Print_ISBN :
978-1-61284-644-6
