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

[1]	张有科. 电子商务中的安全问题研究[D]西安电子科技大学, 2001 .
[2]	孔令凡. 基于KERBEROS&ECC的远程访问安全研究与设计[D]浙江工业大学, 2001 .
[3]	何成. 电子商务协议的逻辑分析与研究[D]西安理工大学, 2002 .
[4]	刘微微. 在线招投标系统中安全体系的设计与开发[D]上海海运学院, 2001 .
[5]	赵世忠. 基于B/S模式的保密网系统安全设计[D]华北工学院, 2003 .
[6]	周亦鹏. 基于半可信第三方的数字水印协议及其应用研究[D]太原理工大学, 2003 .
[7]	陈语林. 电子商务中安全问题的研究[D]中南大学, 2004 .
[8]	边培泉. 基于逻辑的电子商务协议属性的分析与研究[D]兰州理工大学, 2004 .
[9]	江红军. 林业电子商务平台的建立与模式探讨[D]北京林业大学, 2004 .
[10]	周卫兵. 基于案例推理车辆维修专家系统的研究[D]合肥工业大学, 2004 .

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

[1]	陈明. 乐观公平交换协议形式化逻辑及其自动证明技术[D]重庆大学, 2011 .
[2]	吕旭东. 医疗信息系统体系结构研究及开发平台设计[D]浙江大学, 2002 .
[3]	郑红. 分布式系统形式化建模技术研究[D]中国科学院研究生院（软件研究所）, 2003 .
[4]	王英龙. Ad Hoc网络路由协议安全性分析方法研究[D]山东大学, 2005 .
[5]	王焕宝. 安全协议分析的形式化理论与方法[D]合肥工业大学, 2006 .
[6]	缪祥华. 一种分析和设计安全协议的新逻辑[D]西南交通大学, 2006 .
[7]	刘文琦. 移动支付系统安全的若干关键问题研究[D]大连理工大学, 2008 .
[8]	石曙东. 网络协议安全性分析中的逻辑化方法研究[D]华中科技大学, 2009 .

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

[1]	黄兰英. 电子商务的安全技术研究[J]福建电脑, 2004,(01) .
[2]	潘耘,冷英男,王自军,任晓蕾. 电子商务中的密钥托管技术[J]抚顺石油学院学报, 2001,(02) .
[3]	常亮,古天龙. 安全协议及其形式化分析研究[J]桂林电子工业学院学报, 2006,(04) .
[4]	叶红,袁志祥. SET协议的持卡人匿名性分析[J]安徽工业大学学报(自然科学版), 2010,(02) .
[5]	苏开乐,吕关锋,陈清亮. 基于知识结构的认证协议验证[J]中国科学E辑:信息科学, 2005,(04) .
[6]	杨晋吉,苏开乐. 电子商务中安全协议的验证方法[J]计算机工程与应用, 2003,(19) .
[7]	何成,王尚平,王晓峰. 一种分析密码协议的新逻辑[J]计算机工程与应用, 2003,(30) .
[8]	费定舟,邓达强. 关于BAN逻辑的语义模型的分析与改进[J]计算机工程与应用, 2004,(15) .
[9]	朱晓薇,周海刚,刘军. 针对中间人攻击的IKEv2形式化分析与改进[J]计算机工程与应用, 2012,(02) .
[10]	刘义春,张焕国. 电子商务协议的串空间分析[J]计算机科学, 2008,(02) .