搜索结果: 1-3 共查到“军事学 Theorem Proving”相关记录3条 . 查询时间(0.046 秒)
Another Look at Automated Theorem-Proving. II
public-key cryptography / public-key cryptography automated proofs proof checking, encryption
2012/3/26
I continue the discussion initiated in part I of whether or not computer-assisted proofs are a promising approach to preventing errors in reductionist security arguments. I examine some recent papers ...
We describe a faithful embedding of the Dolev-Yao model of Backes,
Pfitzmann, andWaidner (CCS 2003) in the theorem prover Isabelle/HOL. This model
is cryptographically sound in the strong sense of r...
ANOTHER LOOK AT AUTOMATED THEOREM-PROVING
automated theorem-proving proof-checking signatures
2008/7/10
I examine the use of automated theorem-proving for reductionist security arguments
in cryptography and discuss three papers that purport to show the potential of computer-assisted proof-writing and ...