Let's Get Physical

Authors: David Basin, Srdjan Čapkun, Patrick Schaller, and Benedikt Schmidt
Theorem proving in higher order logics

People

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