中国优秀硕士学位论文全文数据库 共找到 11 条

[1]	张有科. 电子商务中的安全问题研究[D]西安电子科技大学, 2001 .
[2]	何成. 电子商务协议的逻辑分析与研究[D]西安理工大学, 2002 .
[3]	卫索琪. 基于MVC模式的一种Web应用框架[D]北京工业大学, 2003 .
[4]	梁娜. 基于J2EE的Web安全技术应用研究[D]山东科技大学, 2003 .
[5]	邓毅. 数字加密在医疗信息系统中的应用研究及实现[D]电子科技大学, 2006 .
[6]	席琳. 安全电子商务协议的逻辑分析方法研究[D]郑州大学, 2007 .
[7]	王兵. 电子商务协议的形式化分析[D]南昌大学, 2007 .
[8]	崔兴宇. 电子结算的安全研究及实现[D]南京理工大学, 2008 .
[9]	王波. 一种改进的SET协议安全性研究及其形式化分析[D]贵州大学, 2009 .
[10]	杨雨珠. 电子病历管理系统中安全机制的分析与设计[D]北京邮电大学, 2009 .

中国博士学位论文全文数据库 共找到 4 条

[1]	陈莉. 电子商务安全协议的设计与分析[D]解放军信息工程大学, 2009 .
[2]	陈明. 乐观公平交换协议形式化逻辑及其自动证明技术[D]重庆大学, 2011 .
[3]	吕旭东. 医疗信息系统体系结构研究及开发平台设计[D]浙江大学, 2002 .
[4]	石曙东. 网络协议安全性分析中的逻辑化方法研究[D]华中科技大学, 2009 .

中国期刊全文数据库 共找到 6 条

[1]	刘义春,张焕国. 电子商务协议的串空间分析[J]计算机科学, 2008,(02) .
[2]	田树华,陈立佳,李建茹. 基于离线可信第三方的电子支付协议公平性分析[J]计算机应用, 2009,(07) .
[3]	汪勇,熊前兴. 智能电子商务采购协议[J]计算机应用研究, 2005,(09) .
[4]	陈庆锋,王驹,白硕,张师超,隋立颖. 电子商务安全协议的逻辑验证[J]软件学报, 2000,(03) .
[5]	杜玉越. 电子商务系统形式化分析与验证技术综述(Ⅰ)[J]聊城大学学报(自然科学版), 2004,(02) .
[6]	张梅,文静华,张焕国. 基于ATL的电子商务协议建模与形式化分析[J]微电子学与计算机, 2009,(08) .

中国重要会议论文全文数据库 共找到 1 条

[1]	邓成玉,唐杰,刘文远. 基于SET协议的电费在线支付系统的设计与实现[A]第十八届全国数据库学术会议论文集（研究报告篇）[C], 2001 .