Title :
Table of contents
Abstract :
The following topics are dealt with: language-based security; information flow; access control; quantitative security; cryptography; and data privacy.
Keywords :
authorisation; cryptography; data privacy; access control; cryptography; data privacy; information flow; language-based security; quantitative security;
Conference_Titel :
Computer Security Foundations Symposium (CSF), 2013 IEEE 26th
Conference_Location :
New Orleans, LA