Let's Get Physical

Models and Methods for Real-World Security Protocols
Thumbnail
Metadata only
Autor(in)
Basin, David
Capkun, Srdjan
Schaller, Patrick
Schmidt, Benedikt
Alle anzeigen
Datum
2009-08
Typ
    Conference Paper
Publikationsstatus
published
Externe Links
Herausgeber(in)
Berghofer, Stefan
Nipkow, Tobias
Urban, Christian
Wenzel, Makarius
Buchtitel
Theorem proving in higher order logics
Zeitschrift / Serie
Lecture Notes in Computer Science
Band
5674
Seiten / Artikelnummer
1 - 22
Verlag
Springer
Konferenz
22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 09), Munich, Germany, August 17-20, 2009
Organisationseinheit
03634 - Basin, David / Basin, David  
03755 - Capkun, Srdan / Capkun, Srdan  
Mehr
Alle Metadaten anzeigen
Zitate
9 Zitate in Web of Science
ETH Bibliographie
yes
Altmetrics