Formalizing and analyzing sender invariance

Thumbnail
Metadata only
Author
Hankes Drielsma, Paul
Mödersheim, Sebastian
Viganò, Luca
Basin, David
Show all
Date
2007
Type
    Conference Paper
Publication status
published
External links
Editor
Dimitrakos, Theo
Martinelli, Fabio
Ryan, Peter Y.A.
Schneider, Steve
Book title
Formal aspects in security and trust
Journal / series
Lecture Notes in Computer Science
Volume
4691
Pages / Article No.
80 - 95
Publisher
Springer
Event
Fourth International Workshop, FAST 2006, August 26-27, 2006
Organisational unit
03634 - Basin, David / Basin, David  
Notes
SpringerLink Date Friday, September 14, 2007.
More
Show all metadata
ETH Bibliography
yes
Altmetrics