Title :
Proceedings of the 12th IEEE Computer Security Foundations Workshop
Abstract :
The following topics were dealt with: formal models; security protocol analysis; strand spaces; local names; interaction and composition; authorization and access control; and noninterference using process algebra
Keywords :
data privacy; process algebra; protocols; security of data; telecommunication security; access control; authorization; computer security; data privacy; formal models; local names; noninterference; process algebra; security protocol analysis; strand spaces;
Conference_Titel :
Computer Security Foundations Workshop, 1999. Proceedings of the 12th IEEE
Conference_Location :
Mordano, Italy
Print_ISBN :
0-7695-0201-6
DOI :
10.1109/CSFW.1999.779757
