Formal Reasoning about Physical Properties of Security Protocols

Authors: David Basin, Srdjan Čapkun, Patrick Schaller, and Benedikt Schmidt
ACM Transactions on Information and System Security

People

Dr. Patrick Schaller
Senior Scientist

BibTex

@ARTICLE{basin2011formal,
	doi = {10.1145/2019599.2019601},
	year = {2011-09},
	volume = {14},
	type = {Journal Article},
	journal = {ACM Transactions on Information and System Security},
	author = {Basin, David and Capkun, Srdjan and Schaller, Patrick and Schmidt, Benedikt},
	size = {28 p.},
	issn = {1094-9224},
	keywords = {Security; Verification; Interactive theorem proving; Formal models; Protocol verification; Wireless networks},
	language = {en},
	address = {New York, NY},
	publisher = {Association for Computing Machinery},
	number = {2},
	title = {Formal Reasoning about Physical Properties of Security Protocols},
	PAGES = {ARTN 16},
	Note = {Received October 2010, Revised March 2011, Accepted April 2011.}
}

Research Collection: 20.500.11850/40730