| http://www.w3.org/ns/prov#value | - Proof carrying code is a technique for including in the binary code its semantic checksum, which can be used to prove that the code obeys the safety policy of the host and has not been tampered with (See e.g., G. C. Necula, Proof-carrying code: In Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pages 106???119, January 1997; G. C. Necula, Proof-carrying code: design,
|
