set证书申请协议在spv下的自动化验证及改进 the automatic verification and improvement of set certificate registration protocols with spv.pdfVIP

下载本文档

2
0
约 11页
2017-09-05 发布于上海
举报
版权申诉

set证书申请协议在spv下的自动化验证及改进 the automatic verification and improvement of set certificate registration protocols with spv.pdf

1、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

set证书申请协议在spv下的自动化验证及改进 the automatic verification and improvement of set certificate registration protocols with spv

第31卷第6期计算机学报 V01．31No．6 2008年6月 2008 CHINESE OFCOMPUTERS June JOURNAL SET证书申请协议在SPV下的自动化验证及改进肖茵茵” 苏开乐”’2’ 岳伟亚” 陈清亮3’ 吕关锋。杨晋吉”’5’ ’(中山大学信息科学与技术学院广东省信息安全重点实验室广州510275) 2’(北京大学信息科学技术学院教育部高可信软件技术重点实验室北京100871) ∞(暨南大学计算机科学系广州 510632) D(北京工业大学计算机学院北京100022) ”(华南师范大学计算机学院广州 510631) Protocol 摘要基于实例化空间逻辑理论，使用知识推理方法，在SPV(SecurityVerifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明，并对协议进行了改进．SPV调用工业级SAT求解器， AuthenticationProtocol 能够高效验证安伞协议是否满足CAPSL(Common SpecificationLanguage)协议规范及单层、多层认知规范．应用一个逻辑或工具对协议进行验证首先必须对该协议进行简化，而SET协议作为当前最复杂的工业级协议，其原始文档有上千页，因此简化过程相当困难，相关研究较少，已有的一些简化模型也不够完整．因此，文章针对SET证书申请协议，给出了比以往更贴近原协议的简化模型，并详细阐述了该模型在SPV下的形式化描述及验证过程、验证结果，分析了由于协议不满足某些认知规范所带来的安全隐患，从而对协议进行改进，最后证明了改进后协议的有效性．该工作也充分说明了SPV足以处理复杂的工业级协议．关键词SET证书申请协议；自动化验证；SPV；认证性；秘密性中图法分类号TP309 TheAutomaticVerificationand ofSETCertificate Improvement ProtocolswithSPV Registration XIA0Yin-Yinl’SUKai—Lel’’2’YUEWei—Yal’CHEN Qing-Lian93’ LU YANGJin-Jil’’5’ Guan—Fen94’ for Province。 1’(KeyLaboratoryhformationSecurityofGuangdong School Yat—Sen ofInformationScience＆Technology。SunUniversity。Guangzhou510275) Education。 2’(KeyLabora