搜索结果: 1-3 共查到“军事学 Reactive Simulatability”相关记录3条 . 查询时间(0.062 秒)
The Reactive Simulatability (RSIM) Framework for Asynchronous Systems
security cryptography simulatability
2009/3/25
We define reactive simulatability for general asynchronous systems. Roughly, simulatability
means that a real system implements an ideal system (specification) in a way that
preserves security in a ...
Simulatability has established itself as a salient notion for defining and proving the security of cryptographic
protocols since it entails strong security and compositionality guarantees, which are ...
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...