Abstract :
The following topics are dealt with: protocol design session; information flow session; Web security session;authorization session; and verification methods session.
Keywords :
authorisation; protocols; security of data; Web security session; authorization session; information flow session; protocol design session; verification methods session;
Conference_Titel :
Computer Security Foundations Symposium, 2009. CSF '09. 22nd IEEE
Conference_Location :
Port Jefferson, NY
Print_ISBN :
978-0-7695-3712-2
DOI :
10.1109/CSF.2009.30
