公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

有穷机和逻辑结合的电子商务协议分析方法: 近年来，电子商务得到了空前的发展，而电子商务活动中的安全问题也日益受到重视。电子商务协议是电子商务活动能安全进行的重要保障。为了保证电子商务协议的正确性和安全性，需要用形式化分析方法来精确地分析协议，找出协议的缺陷和漏洞...; 马生; 关键词：电子商务协议形式化分析有穷自动机; 文献传递

有穷机和逻辑结合的电子商务协议分析方法被引量：1: 2013年; 提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平性和时限性.该方法结合了模型检测和逻辑分析两种形式化分析方法的优点,可以准确形象地描述协议的具体运行过程,并且在发生重放攻击时能够正确分析各方的责任.利用该方法对Kim等人提出的改进版ZG协议进行了实例分析,给出了描述该协议运行过程的状态转换图,结合状态转换图对该协议分析得出其满足可追究性、公平性、时限性,并且不存在被重放攻击的可能.最后用时间自动机UPPAAL验证了新方法中有穷自动机模型的准确性和时限性分析的有效性.; 刘文远马生司亚利侯贵宾; 关键词：电子商务协议形式化分析有穷自动机逻辑分析

全选清除导出

共1页<1>

马生