Let's Get Physical
Authors: David Basin,
Srdjan Čapkun,
Patrick Schaller, and
Benedikt Schmidt
Theorem proving in higher order logics
People
Prof. Srdjan Čapkun
Group Leader
Dr. Patrick Schaller
Senior Scientist
BibTex
@INPROCEEDINGS{basin2009physical,
isbn = {978-3-642-03358-2},
abbrev_source_title = {LNCS},
doi = {10.1007/978-3-642-03359-9_1},
year = {2009-08},
booktitle = {Theorem proving in higher order logics},
volume = {5674},
type = {Conference Paper},
editor = {Berghofer, Stefan and Nipkow, Tobias and Urban, Christian and Wenzel, Makarius},
journal = {Lecture Notes in Computer Science},
author = {Basin, David and Capkun, Srdjan and Schaller, Patrick and Schmidt, Benedikt},
issn = {0302-9743},
language = {en},
address = {Berlin},
publisher = {Springer},
title = {Let's Get Physical. Models and Methods for Real-World Security Protocols},
PAGES = {1 - 22},
Note = {22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009); Conference Location: Munich, Germany; Conference Date: August 17-20, 2009}
}
Research Collection: 20.500.11850/15809