Specifying and analysing Security Automata using CSP-OZ

Thumbnail
Metadata only
Author
Basin, David
Olderog, Ernst-Rüdiger
Sevinç, Paul E.
Date
2007
Type
    Conference Paper
Publication status
published
External links
Search via swisscovery
Editor
Deng, Robert
Samarati, Pierangela
Book title
Proceedings of the ACM Symposium on Information, Computer and Communications Security : (ASIACC'07), Singapore, March 20-22, 2007
Pages / Article No.
70 - 81
Publisher
ACM Press
Event
2nd ACM symposium on Information, computer and communications security, Singapore, Republic of Singapore, March 20-22, 2007
Subject
CSP-OZ; Security automata
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
ETH Bibliography
yes
Altmetrics