David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt. Formal Reasoning about Physical Properties of Security Protocols. ACM Trans. Inf. Syst. Secur., 14(2):16, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.