资源描述：
《一种电子商务协议形式化分析方法》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、—种电子商务协议形式化分析方法*】(中国科学院软件研究所信息安全技术工程研究中心，北京100080)«北京中科安胜信息技术有限公司，北京100080)AFormalMethodforAnalyzingElectronicCommerceProtocolsQINGSi-Han®'(EngineeringResearchCenterlorInformationSecurityTechnology,InstituteofSoftware,TheChineseAcademyofSciences,Beijing100080,China)'(B
2、eijingZhongkeAnshengCorporationofInformationTechnology,Beijing100080,China)+Correspondingauthor:Phn:+86-10-62635150,Fax:+86-10-62635150,E-mail:qsihan@ercist.iscas.ac.cnReceived2004-05-25;Accepted2005-06-22QingSH.Aformalmethodforanalyzingelectroniccommerceprotocols.Jour
3、nalofSoftware^2005,16(10):1757-1765.DOI:10.1360/josl61757Abstract:Aformalmethodwhichcanbeusedtoanalyzesecuritypropertiessuchasaccountabilityandfairnessinelectroniccommerceprotocolsispresented・Comparedwiththepreviouswork,themaincontributionsarethefollowing.Firstly,aform
4、aldefinitionisgiventothepossessionsetofeachprotocolparticipant,andtheinitialpossessionsetdependsonlyontheenvironment.Secondly,thesetofinitialstateassumptionsisdividedintothreecategories:basicassumptions,trustassumptions,andprotocolcomprehensionassumptions,inordertoavoi
5、danalysiserrorscausedbyinformalinitialstateassumptions.Thirdly,thesetoftrustassumptionsisarticulatedbyformalspecificationatalowerlevelofgranularity,exposingtheessenceoftheprotocol.Fourthly,establishinganaxiomsystemmakesthenewapproachmorerigorousandexpressive・Keywords:f
6、ormalanalysis;electroniccommerceprotocol;accountability;fairness;TTP摘要：提出了一种新颖的形式化方法，可以用于分析电子商务协议的安全性质，例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义，且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集合，避免了因非形式化的初始假设而产生的分析错误;(3)对可信假设作细粒度的形式化规范，揭示协议的内涵;(4)建立公理
7、系统,使新方法更为严格与合理.关键词：形式化分析;电子商务协议;可追究性;公平性;可信第三方中图法分类号：TP309文献标识码：A近年来，电子商务的交易量迅猛增加，因而电子交易的安全性问题日益受到重视.除公开密钥基础设施PKI♦SupportedbytheNationalNaturalScienceFoundationofChinaunderGrantNos.60083007,60573042(国家自然科学基金);theNationalGrandFundamentalResearch973ProgramofChinaunderGra
8、ntNo.G1999035802(国家重点基础研究发展规划(973));theBeijingNaturalScienceFoundationofChinaunderGrantNo.4052016(北京市自然科学基金)作者简介：卿斯汉(
