计算机工程与科学2006，Vol.28Issue(1)：22-24,27,4.
安全协议的进程代数规约到逻辑程序的自动转换
Auto-Transformation of the Process Algebra Specification of Security Protocols into Logic Programs
摘要
关键词
安全协议/进程代数/形式化验证/认证性/Objective/Caml分类
信息技术与安全科学引用本文复制引用
周倜,李梦君,刘万伟,李舟军..安全协议的进程代数规约到逻辑程序的自动转换[J].计算机工程与科学,2006,28(1):22-24,27,4.基金项目
国家自然科学基金资助项目(90104026,60073001,60473057) （90104026,60073001,60473057）
国家863计划资助项目(2002AA144040) （2002AA144040）
