Pasture Node State Specification
暂无分享,去创建一个
[1] Stephan Merz,et al. Verifying Safety Properties with the TLA+ Proof System , 2010, IJCAR.
[2] Jonathan M. McCune,et al. Memoir---Formal Specs and Correctness Proofs , 2011 .
[3] Michael K. Reiter,et al. Flicker: an execution infrastructure for tcb minimization , 2008, Eurosys '08.
[4] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.
[5] Jonathan M. McCune,et al. Memoir: Practical State Continuity for Protected Modules , 2011, 2011 IEEE Symposium on Security and Privacy.
[6] Leendert van Doorn,et al. A Practical Guide to Trusted Computing , 2007 .
[7] Michael Norrish,et al. seL4: formal verification of an OS kernel , 2009, SOSP '09.
[8] Ramakrishna Kotla,et al. Pasture: Secure Offline Data Access Using Commodity Trusted Hardware , 2012, OSDI.
[9] Thomas L. Rodeheffer,et al. Cyclic Commit Protocol Specifications , 2008 .