The Framework of Selective Interleaving Functions and the Modular Assembly Kit

Thumbnail
Metadata only
Author
Mantel, Heiko
Date
2005
Type
    Conference Paper
Publication status
published
External links
Book title
Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering : (co-located with CCS 2005)
Pages / Article No.
53 - 62
Publisher
ACM Press
Event
ACM Workshop on Formal Methods in Security Engineering 2005, November 11, 2005
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
ETH Bibliography
yes
Altmetrics