A Proof-Carrying-Code Infrastructure for Resources

Hans-Wolfgang Loidl, Kenneth Mackenzie, Steffen Jost, Lennart Beringer. A Proof-Carrying-Code Infrastructure for Resources. In Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009. pages 127-134, IEEE Computer Society, 2009. [doi]