DocumentCode
2994643
Title
Proceedings of the 12th IEEE Computer Security Foundations Workshop
fYear
1999
fDate
30-30 June 1999
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1999. Proceedings of the 12th IEEE
Conference_Location
Mordano, Italy
ISSN
1063-6900
Print_ISBN
0-7695-0201-6
Type
conf
DOI
10.1109/CSFW.1999.779757
Filename
779757
Link To Document