A Proof-Carrying File System with Revocable and Use-Once Certificates

Morgenstern, Jamie and Garg, Deepak and Pfenning, Frank
(2011) A Proof-Carrying File System with Revocable and Use-Once Certificates.
In: Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers.

Full text not available from this repository.
Official URL: https://doi.org/10.1007/978-3-642-29963-6_5

Actions

Actions (login required)

View Item View Item