External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

David A. Basin

This author has not been identified. Look up 'David A. Basin' in Google

Srdjan Capkun

This author has not been identified. Look up 'Srdjan Capkun' in Google

Patrick Schaller

This author has not been identified. Look up 'Patrick Schaller' in Google

Benedikt Schmidt

This author has not been identified. Look up 'Benedikt Schmidt' in Google
runs on