搜索结果: 1-1 共查到“密码学 symbolic cryptography”相关记录1条 . 查询时间(0.056 秒)
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
Simulatability Soundness Mapping Soundness Symbolic Cryptography
2008/8/21
The abstraction of cryptographic operations by term algebras, called Dolev-Yao
models or symbolic cryptography, is essential in almost all tool-supported methods for proving
security protocols.