搜索结果: 1-1 共查到“军事学 Computationally Sound Mechanized Prover”相关记录1条 . 查询时间(0.042 秒)
A Computationally Sound Mechanized Prover for Security Protocols
Computationally Sound Mechanized Prover Security Protocols
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....