论文部分内容阅读
分析电子支付系统的安全问题,提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和3种质量的通信媒介建模,可以用于分析协议主体和通信媒介之间的合作和竞争行为。对进程失效和由于消息丢失或消息延迟导致的通信失效建模,能分析各种失效情况下协议的安全属性。
基于CSP和动态博弈的电子支付系统模型
【摘 要】
：
分析电子支付系统的安全问题,提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和3种质量的通信媒介建模,可以用于分析协议主体和通信
【机 构】
：
长沙学院计算机系,湘南学院数学系,湖南省标准化研究院,湖南公安高等专科学校计算机系
【出 处】
：
计算机工程
【发表日期】
：
2008年16期
【基金项目】
：
国家自然科学基金资助项目（60603062）,公安部应用创新计划基金资助项目（2007YYCXHNST072）,湖南省自然科学基金资助项目（06JJ3035）,湖南省教育厅基金资助科研项目（07C718）,湖南省高校优秀青年科学研究项目（078017）
其他文献
武陵山区是国家确定的集中连片特困地区扶贫开发的试验区和示范区。该区域的自然地理和气候条件适宜于猕猴桃产业的发展。针对目前产业规模较小、果品销售渠道不畅并缺乏系统
认知、体验、分享是一堂心理活动课的重要环节。但在规定的课堂时间内,往往出现＂短时＂与＂深入＂的矛盾。认知环节时间充分,学生的游戏体验时间便会不足,分享就不够深入。反之亦然
中国警察武力分为徒手武力、警械武力、武器武力和其他武力四个类别。每一类武力都有其使用合法性的规定。这些规定存在于中国人民警察法、人民武装警察法、监狱法、人民警察