首页|期刊导航|计算机工程与科学|使用组合协议逻辑PCL验证Amended Needham-Schroeder协议

使用组合协议逻辑PCL验证Amended Needham-Schroeder协议

刘锋李舟军周倜李梦君

计算机工程与科学2008，Vol.30Issue(11)：13-15,3.

Verification of the Amended Needham-Schroeder Protocol Using Protocol Composition Logic PCL

刘锋 ¹李舟军 ¹周倜 ¹李梦君¹

作者信息

FIoyd-Hoare逻辑/PCL/安全协议

信息技术与安全科学

刘锋,李舟军,周倜,李梦君..使用组合协议逻辑PCL验证Amended Needham-Schroeder协议[J].计算机工程与科学,2008,30(11):13-15,3.

国家自然科学基金资助项目(60473057,90604007) （60473057,90604007）

OA北大核心CSCDCSTPCD

ISSN：1007-130X

访问量0

下载量0

段落导航