oblivious hashing a stealthy software integrity verification primitive

oblivious hashing a stealthy software integrity verification primitive

ID:33848337

大小:122.57 KB

页数:16页

时间:2019-03-01

oblivious hashing a stealthy software integrity verification primitive_第1页
oblivious hashing a stealthy software integrity verification primitive_第2页
oblivious hashing a stealthy software integrity verification primitive_第3页
oblivious hashing a stealthy software integrity verification primitive_第4页
oblivious hashing a stealthy software integrity verification primitive_第5页
资源描述:

《oblivious hashing a stealthy software integrity verification primitive》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、ObliviousHashing:AStealthySoftwareIntegrityVerificationPrimitiveYuqunChen¹,RamarathnamVenkatesan¹,MatthewCary²,RuomingPang³,SaurabhSinha²,andMariuszH.Jakubowski¹¹MicrosoftResearch,OneMicrosoftWay,Redmond,WA98052²UniversityofWashington,Box352350,Seattle,WA98195³PrincetonUniversity,35OldenStree

2、t,Princeton,NJ08544{yuqunc,venkie,mariuszj}@microsoft.com{mcary,saurabh}@cs.washington.edurpang@cs.princeton.eduAbstract.WedescribeanovelsoftwareverificationprimitivecalledObliviousHashing.Unlikeprevioustechniquesthatmainlyverifythestaticshapeofcode,thisprimitiveallowsimplicitcomputationofaha

3、shvaluebasedontheactualexecution(i.e.,space-timehistoryofcomputation)ofthecode.Wealsodiscussitsapplicationsinlocalsoftwaretamperresistanceandremotecodeauthentication.1.IntroductionAmajorchallengeinSoftwareTamperResistanceisfindingastealthyandrobustprimitivetoascertaintheoperationalcorrectness

4、ofprotectedsoftware.Aprevalentmethodusedtodayverifiestheshapeofthecode,andsometimescriticaldata,beforeorduringtheruntime.Itisaccomplishedbycomputingacryptographicchecksumononeormoresegmentsofthecodethatisbeingprotected.Theshape-verificationapproachhasmanydrawbacksofwhichwementiontwohere.First

5、,itisquitestraightforwardtodetecttheverificationroutine,owingtotheatypicalnatureoftheoperation,sincemostapplicationsdonotreadtheirowncodesegments.Second,thisapproachfailstodetectcertainbehavioralordatamodificationstothesoftware.Forexample,ahackercantemporarilychangethereturnresultbypatchingar

6、egister,rightbeforetheprotectedfunctionreturns,withouthavingtoalterthecode.Toaddresssuchproblems,weproposeanewconceptcalledObliviousHashing(OH).Themainideaistohashtheexecutiontraceofapieceofcode,therebyallowingustoverifyprobabilisticallyordeterministicallytherun-timebehaviorofthesoftware.Weac

7、complishthisbyinjectingadditionalcomputation(hashingcode)intothesoftware(hostcode).Thehashingcodeimplicitlycomputesahashvaluefromthedynamicexecutioncontextofthehostcode.Amainfeatureofourinjectionmethodistoblendthehashingcodeseamlesslywiththeh

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。