Scalable Remote Attestation with Privacy Protection
暂无分享,去创建一个
[1] Fabio Massacci,et al. The verification of an industrial payment protocol: the SET purchase phase , 2002, CCS '02.
[2] Jun Ho Huh,et al. Trustworthy Log Reconciliation for Distributed Virtual Organisations , 2009, TRUST.
[3] Jean-Pierre Seifert,et al. Model-based behavioral attestation , 2008, SACMAT '08.
[4] Trent Jaeger,et al. Design and Implementation of a TCG-based Integrity Measurement Architecture , 2004, USENIX Security Symposium.
[5] Jaehong Park,et al. Towards usage control models: beyond traditional access control , 2002, SACMAT '02.
[6] Hovav Shacham,et al. When good instructions go bad: generalizing return-oriented programming to RISC , 2008, CCS.
[7] Stefan Katzenbeisser,et al. Improving the scalability of platform attestation , 2008, STC '08.
[8] Trent Jaeger,et al. PRIMA: policy-reduced integrity measurement architecture , 2006, SACMAT '06.
[9] Stefan Berger,et al. vTPM: Virtualizing the Trusted Platform Module , 2006, USENIX Security Symposium.
[10] Julian Bradfield. CONCUR '96: Concurrency Theory , 1996 .
[11] Ahmad-Reza Sadeghi,et al. Property-based attestation for computing platforms: caring about properties, not mechanisms , 2004, NSPW '04.
[12] John Lyle. Trustable Remote Verification of Web Services , 2009, TRUST.
[13] J. Aaron Pendergrass,et al. Linux kernel integrity measurement using contextual inspection , 2007, STC '07.
[14] Xinwen Zhang,et al. Remote Attestation of Attribute Updates and Information Flows in a UCON System , 2009, TRUST.
[15] J. Aaron Pendergrass,et al. Improving coherency of runtime integrity measurement , 2008, STC '08.
[16] Ravi S. Sandhu,et al. Safety analysis of usage control authorization models , 2006, ASIACCS '06.
[17] Ahmad-Reza Sadeghi,et al. Property-Based TPM Virtualization , 2008, ISC.
[18] Robert H. Deng,et al. Remote attestation on program execution , 2008, STC '08.
[19] Xinwen Zhang,et al. Behavioral attestation for web services (BA4WS) , 2008, SWS '08.
[20] Aaron Weiss. Trusted computing , 2006, NTWK.
[21] Jean-Jacques Lévy,et al. A Calculus of Mobile Agents , 1996, CONCUR.