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 SFX
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  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics