搜索结果: 1-4 共查到“军事学 Dolev-Yao”相关记录4条 . 查询时间(0.082 秒)
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...
From Dolev-Yao to Strong Adaptive Corruption:Analyzing Security in the Presence of Compromising Adversaries
Dolev-Yao Strong Adaptive Corruption hierarchy of adversary models
2009/6/11
We formalize a hierarchy of adversary models for security
protocol analysis, ranging from a Dolev-Yao style adversary
to more powerful adversaries who can reveal different parts
of principals’ stat...
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...