搜索结果: 1-1 共查到“密码学 Computationally Sound Mechanized Prover”相关记录1条 . 查询时间(0.079 秒)
A Computationally Sound Mechanized Prover for Security Protocols
Computationally Sound Mechanized Prover Security Protocols
font style='font-size:12px;'>
2009/3/16
We present a new mechanized prover for secrecy properties of
security protocols. In contrast to most previous provers, our tool
does not rely on the Dolev-Yao model, but on the computational
model....