南京邮电大学学报（自然科学版）2006，Vol.26Issue(6)：86-94,9.
形式语义描述方法研究进展与评价
Research and Evaluation on Formal Semantic Description Techniques
摘要
关键词
形式化语义描述/安全协议分析/博弈语义/单子语义分类
信息技术与安全科学引用本文复制引用
张迎周,张卫丰,钱俊彦..形式语义描述方法研究进展与评价[J].南京邮电大学学报（自然科学版）,2006,26(6):86-94,9.基金项目
国家自然科学基金(60503020)、江苏省高校自然科学基金(05KJD520151)、广西自然科学基金(0542036)资助项目 （60503020）
