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.

A Logical Framework of Proof-Carrying Survivability

Yanjun Zuo, Suhas Lande. A Logical Framework of Proof-Carrying Survivability. In IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011. pages 472-481, IEEE, 2011. [doi]

Authors

Yanjun Zuo

This author has not been identified. Look up 'Yanjun Zuo' in Google

Suhas Lande

This author has not been identified. Look up 'Suhas Lande' in Google
runs on