搜索结果: 1-1 共查到“军事学 proof-carrying data”相关记录1条 . 查询时间(0.144 秒)
Enforcing Language Semantics Using Proof-Carrying Data
computationally-sound proofs programming language security
2014/3/10
Sound reasoning about the behavior of programs relies on program execution adhering to the language semantics. However, in a distributed computation, when a value is sent from one party to another, th...