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
Full text via SFX
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
80 - 95
Publisher
Springer
Event
Fourth International Workshop, FAST 2006, August 26-27, 2006
Organisational unit
03634 - Basin, David
Notes
SpringerLink Date Friday, September 14, 2007.
More
Show all metadata
Altmetrics