首页> 中文期刊> 《科海故事博览·科教创新》 >电子支付协议Bolignano的形式化分析

电子支付协议Bolignano的形式化分析

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着互联网的日益普及,电子商务活动也蓬勃发展起来,而电子商务的安全问题越来越受到人们的关注.安全的电子商务协议是确保电子商务活动可靠开展的基础.本文先介绍了kailar逻辑和电子支付协议Bolignano,然后用Kailar逻辑对Bolignano的安全性作了形式化分析,验证了此协议是正确的.

著录项

来源
《科海故事博览·科教创新》 |2009年第9期|218-219|共2页
作者
吴丹;
展开▼
作者单位

贵州大学计算机科学与信息学院,贵州,贵阳,550025;

展开▼
原文格式 PDF
正文语种 chi
中图分类英语;
关键词
Kailar; 逻辑; Bolignano; 协议; 形式化分析;

相似文献

中文文献
外文文献
专利

1. 一种新的复合型电子支付协议及其形式化分析 [J] . 丁月 ,汪学明 . 计算机应用与软件 . 2018,第006期
2. 电子支付协议的博弈逻辑模型与形式化分析 [J] . 文静华 ,张梅 ,张焕国 . 微电子学与计算机 . 2007,第9期
3. 电子支付协议安全性的形式化分析 [J] . 李益发 ,谢文海 ,张彦肖 . 信息工程大学学报 . 2000,第002期
4. 基于类pi演算的电子支付协议安全性形式化研究 [J] . 顾永跟 ,李国强 ,王国钧 . 计算机应用研究 . 2006,第003期
5. 基于SET协议的电子支付平台的分析与设计 [J] . 张蕾 . 机械管理开发 . 2014,第006期
6. Bolignano电子支付协议的安全性分析 [C] . 李益发 ,南湘浩 . 中国计算机学会信息保密专业委员会年会 . 1999
7. RFID安全协议形式化分析研究及DRAP协议的建立与实现 [A] . 胡游君 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号