Let's Get Physical

Models and Methods for Real-World Security Protocols
Thumbnail
Metadata only
Author
Basin, David
Capkun, Srdjan
Schaller, Patrick
Schmidt, Benedikt
Show all
Date
2009-08
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Berghofer, Stefan
Nipkow, Tobias
Urban, Christian
Wenzel, Makarius
Book title
Theorem proving in higher order logics
Journal / series
Lecture Notes in Computer Science
Volume
5674
Pages / Article No.
1 - 22
Publisher
Springer
Event
22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 09), Munich, Germany, August 17-20, 2009
Organisational unit
03634 - Basin, David / Basin, David  
03755 - Capkun, Srdan / Capkun, Srdan  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics