资源描述：
《基于进程的无干扰可信模型》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第3期张兴等：基于进程的无干扰可信模型·11·基于进程的无干扰可信模型张兴1,2，陈幼雷2，沈昌祥2（1.解放军信息工程大学电子技术学院，河南郑州410002;2.北京工业大学计算机学院，北京100022）摘要：提出了一种适应于可信计算平台系统设计的抽象模型，该模型借鉴信息流的基本无干扰理论，利用进程代数和逻辑推理方法，将系统抽象为进程、动作、状态和输出，形式化地定义了进程运行可信，给出进程运行可信的条件和性质，推出进程运行可信隔离定理，在进程运行可信基础上给出系统运行可信的定义，并证明了系统运行可信判定定
2、理。该模型建立在逻辑推理基础上，不依赖于特定的安全机制和实现方法，任何一种符合这个模型的实现方法，都可以达到系统运行可信的目标。关键词：可信；无干扰；进程运行可信；系统运行可信中图分类号：TP309文献标识码：A文章编号：1000-436X(2009)03-0006-06Non-interferencetrustedmodelbasedonprocessesZHANGXing1,2,CHENYou-lei2,SHENChang-xiang2(1.PLAElectronicTechnologyInstitut
3、eofInformationEngineeringUniversity,Zhengzhou410002,China;2.SchoolofComputer,BeijingUniversityofTechnology,Beijing100022,China)Abstract:Anovelabstractmodelforthedesignoftrustedcomputingplatformsystemwasproposed.Byusingthebasicideaofnon-interferencetheoryas
4、referenceandintroducesthereasoningmethodofprocessalgebra,thusabstractingthesystemasprocesses,actions,statesandoutputs,andgivingtheformaldefinitionofthetrustedofprocessrunning.Processisolationtrustedtheoremwasverifiedformally.Furthermore,byassociatingproces
5、swithsystemstate,thedefinition andthetheoremof systemrunningtrustedwasproposed.Themodelwasestablishedbylogicreasoningandindependentofspecialsecuritymechanismandenforcement.Thetrustoftherunningsystem canberealizedbyany methodwhich satisfiestheconditionsofth
6、emodel.Keywords:trusted;non-interference;processrunningtrusted;systemrunningtrusted第3期张兴等：基于进程的无干扰可信模型·11·1引言收稿日期：2008-11-12；修回日期：2009-01-15基金项目：国家重点基础研究发展计划（“973”计划）基金资助项目（2007CB311100）；国家高技术研究发展计划（“863”计划）基金资助项目（2006AA01Z440）；北京市科技计划基金资助项目（Z0700010072070
7、6）FoundationItems:TheNationalBasicResearchProgramofChina(973Program)(2007CB311100);TheNationalHighTechnologyResearchandDevelopmentProgramofChina(863Program)(2006AA01Z440);BeijingTechnologyProgram(Z07000100720706)目前关于可信和可信计算的研究十分活跃，有许多种可信定义和相应的可信模型[1]，比如基于概
8、率统计的信任模型[2,3]、基于模糊数学的信任模型[4]、基于主观逻辑的模型[5]等。这些理论模型适用于P2P、电子商务等领域内信任关系的建立与传递，但并不适用于可信计算平台系统的描述和设计。目前针对可信计算平台的研究主要体现在工程方面，文献[6]给出一种逐层验证的可信计算平台体系结构，将平台的代码分为不同信任级别的层，利用棘齿锁（ratchetlock）思想，控制程序控制权在不同信任层面、不同特权要求的代码块之
