Title :
Proceedings 16th IEEE Computer Security Foundations Workshop
Abstract :
The following topics are discussed: information flow; protocols; logics for anonymity and distributed system security; access control; authorization and security policies; and computational analysis of security protocols.
Keywords :
authorisation; data flow computing; distributed memory systems; security of data; systems analysis; access control; anonymity logic; authorization; computational analysis; distributed system; information flow; security policy; security protocol; system security; Data flow computing; Data security; Distributed memory systems; System analysis and design;
Conference_Titel :
Computer Security Foundations Workshop, 2003. Proceedings. 16th IEEE
Conference_Location :
Pacific Grove, CA, USA
Print_ISBN :
0-7695-1927-X
DOI :
10.1109/CSFW.2003.1212699
