Formal Reasoning about Physical Properties of Security Protocols

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.