东南大学学报（自然科学版）2005，Vol.35Issue(5)：688-691,4.
不可否认协议形式化分析的SVO逻辑方法
Formal analysis of non-repudiation protocols with SVO logic
摘要
关键词
不可否认/公平性/SVO逻辑/形式化分析分类
信息技术与安全科学引用本文复制引用
黎波涛,罗军舟..不可否认协议形式化分析的SVO逻辑方法[J].东南大学学报（自然科学版）,2005,35(5):688-691,4.基金项目
江苏省"网络与信息安全"重点实验室计划资助项目(BM20033201)、江苏省高技术研究资助项目(BG2004036). （BM20033201）
