私有信息检索技术分析-analysis of private information retrieval technology.docxVIP

索的数据库系统设计的形式化分析与验证。在数据库客户端，对用户查询的私有信息检索转换是否满足隐私性要求进行分析验证；在数据库服务器端，从安全模型、形式化顶层规范等分析了数据库系统的设计。采用形式化工具COQ对形式化顶层规范进行了描述，并验证数据库系统行为、尤其是查询操作在服务器端也满足安全模型所规定的安全性质。关键词：分布式模式，私有信息检索，关键字，隐私性度量AbstractWiththerapiddevelopmentoftheinformationcommunicationtechnology,usingnetworkforinformationstorageandexchangehasbecomeanormalstyleforpeople’sworkingandliving.However,becauseofthecomplexityofthenetworkenvironmentandtheuncertaintyoftheuserbehavior,theclientprivacycannotbeprotectedwell.Itisimportanttoprovidesomemethodstoprotecttheclients’privateinformation.Privateinformationretrieval(PIR)wasproposedtoresolvesuchaproblem:whenclientsretrievedatafromadatabase,theintensionofthesequeriesshouldbehidden.FortheexistingproblemsinPIRresearchsuchashighcomplexity,shortofprivacymetric,shortofcombinationwithdatabase,etc,focusingonthePIRprotocol,privacymetric,etc,weconductdeepresearchonfouraspects.InordertolowerthecomplexityofPIRprotocols,arowbasedcomputationalPIRprotocolcalledRobac-PIRisdesigned,whichisimprovedonquadraticresiduosityPIR.InRobac-PIR,queriesaremadeonpartofthedatainsteadofthewholedataintheserver,sothattheclientisabletomakeatradeoffbetweenprivacyandefficiency.FurtherimprovementismadeonRobac-PIRtoproposeanetworkenviromentPIRscheme.Inthisscheme,datablocksaredistributedtodifferentclientnodesinthenetworktosharethecomputationworkandtheoverallefficiencyisincreased.TheexperimentsshowthatourRobac-PIRprotocolanddistributedRobac-PIRschemeareflexibleandsuperiorinefficiency.InordertoimprovethepracticabilityofPIRprotocol,akeywordbasedPIRschemeisproposedtoprotecttheclientprivacyindiscoveryservice(DS)ofinternetofthings.ThePIRschemeisbasedonhashindexandwellapplicabletoDSenvironment.ComparedwithexistingclientprivacypreservingDSarchitectures,thisschemedoesn’tneedtoworryaboutthecollaborationbetweenservers,complexpre-distributionofkeys,andcancompletelyprotecttheclientprivacybyprivateinformationretrieval.ToresolvetheproblemthatprivacymetricislackedinPIRresearch,basedoninformationtheory,thedefinitionandthequa