搜索结果: 1-3 共查到“军事学 Dolev-Yao Models”相关记录3条 . 查询时间(0.042 秒)
New look at impossibility result on Dolev-Yao models with hashes
cryptographic protocols cryptanalysis hash functions
2011/7/25
Backes, Pfitzmann and Waidner showed in [7] that for protocols with hashes Dolev-Yao style models do not have cryptographically sound realization in the sense of BRSIM/UC in the standard model of cryp...
New look at impossibility result on Dolev-Yao models with hashes
cryptographic protocols / cryptanalysis hash functions
2012/3/27
Backes, Pfitzmann and Waidner showed in [7] that for protocols with hashes Dolev-Yao style models do not have cryptographically sound realization in the sense of BRSIM/UC in the standard model of cryp...
Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes
Reactive Simulatability UC Dolev-Yao Models Hashes
2008/10/30
Automated tools such as model checkers and theorem provers for the
analysis of security protocols typically abstract from cryptography by Dolev-Yao
models, i.e., abstract term algebras replace the r...