Specifying and analysing Security Automata using CSP-OZ

Metadata only

Author

Date

2007

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

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

ETH Bibliography

yes

Altmetrics

Research Collection