David A. Basin Srdjan Capkun Patrick Schaller Benedikt Schmidt Formal Reasoning about Physical Properties of Security Protocols. 16 2011 14 ACM Trans. Inf. Syst. Secur. 2 http://doi.acm.org/10.1145/2019599.2019601 db/journals/tissec/tissec14.html#BasinCSS11