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
Prof. Srdjan Čapkun
Group Leader
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