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