电子商务安全协议的自动检测探讨

摘要：

本文提出了一种新的形式化方法来分析电子商务协议属性,以实现从手工分析到半自动化的分析转化,最后达到自动检测的目的.

关键词： 电子商务 安全协议 自动检测

作者: 肖德琴 张焕国 林丕源

作者单位: 华南农业大学理学院计算机系(广州) 武汉大学计算机学院(武汉)

会议类型: 国内会议

会议名称: 第三届中国信息和通信安全学术会议

会议地点: 武汉

会议语种:中文

页码: 375-376

在线出版日期: 2003-03-19（万方平台首次上网日期，不代表论文的发表时间）