A security logic for abstract state machines

Thumbnail
Metadata only
Author
Nanchen, S.
Stark, R. F.
Date
2004
Type
    Conference Paper
Publication status
published
Book title
Abstract state machines 2004
Volume
3052
Pages / Article No.
169 - 185
Publisher
Springer
Event
11th International Workshop on Abstract State Machines, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004
More
Show all metadata
Citations
Cited 1 times in Web of Science
ETH Bibliography
yes
Altmetrics