搜索结果: 1-1 共查到“assertions”相关记录1条 . 查询时间(0.087 秒)
Computationally Sound Mechanized Proofs of Correspondence Assertions
Sound Mechanized Proofs Correspondence Assertions
2008/9/4
We present a new mechanized prover for showing correspondence
assertions for cryptographic protocols in the
computational model. Correspondence assertions are useful
in particular for establishing ...