搜索结果: 1-1 共查到“计算机科学技术基础学科 Rank Functions”相关记录1条 . 查询时间(0.092 秒)
Analysing the Woo-Lam Protocol Using CSP and Rank Functions
Analysing the Woo-Lam Protocol CSP Rank Functions
2014/3/12
Designing security protocols is a challenging and deceptive exercise. Even small protocols providing straightforward security goals, such as authentication, have been hard to design correctly, leading...