搜索结果: 1-1 共查到“军事学 Mechanized Flow Analysis”相关记录1条 . 查询时间(0.046 秒)
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis
Sound Secrecy Proof Mechanized Flow Analysis
2008/12/10
We present a novel approach for proving secrecy properties of security protocols by mechanized
flow analysis. In contrast to existing tools for proving secrecy by abstract interpretation,
our tool e...