【摘 要】
：
为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同域之间能够安全传输,在模型中引入了可信管道的概念。给出了安全域模型的实现方法和管道协议,并对管道协议进行了安全性分析和证明。
【机 构】
：
北京工业大学计算机学院,北京万集科技有限责任公司,
论文部分内容阅读
为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同域之间能够安全传输,在模型中引入了可信管道的概念。给出了安全域模型的实现方法和管道协议,并对管道协议进行了安全性分析和证明。
其他文献
创新型人才的培养是构建社会主义和谐社会的需要,是国家富强、振兴的需要。培养创新型人才是高等院校的一项重要职责,人才的培养不仅体现在学生的专业知识方面,还体现在其道
提出了QoS感知的多任务服务优化组合非合作博弈模型,准确刻画了不同任务之间的竞争关系,在此基础上设计了顾及QoS的遥感信息服务优化组合反应函数,为求解遥感信息服务优化组
本文论述了将社会主义荣辱观与师德建设有机结合起来，是时代赋予的新课题、将社会主义荣辱观与师德建设有机结合起来，是新时期师德建设的迫切要求以及将社会主义荣辱观与师德建
简要地论述了基于星间测距数据和地面跟踪数据的导航卫星联合定轨中的观测模型、定轨软件及数据模拟方法等,在此基础上,基于自编的联合定轨软件进行了不同方案的模拟计算。结果表明,采用星地联合定轨模式,不仅可以获得很好的定轨精度,而且可大量减少地面跟踪站的布设数目以及降低对地面站的几何分布要求;地面跟踪站数量的增加及其地理分布的改善对提高联合定轨精度作用有限。
设创新型国家,创新人才是关键因素。创新型人才的成长是一个综合培养的过程,创新人才的培养要靠创新教育,而创新教育的实施者主要是创新型教师。"有创新型的教师,才会有创新
培养创新型教师首先要改变在应试制度下的教学观念,树立以学生为主、以发展为本的新的教学理念,在不断加强自身学习的同时,又要不断发展创新,培养出创新型的学生。本文论述了
百年大计,教育为本；教育大计,教师为本。高质量的教育,必须有高质量的教师。党的十六大报告提出,坚持教育创新,深化教育改革,必须加强教师队伍建设,提高教师的师德和业务水平
对基于广义猫映射和加法模运算的混沌密码进行了安全性分析,指出了该密码设计上的几处瑕疵。在选择明文攻击下,该密码系统在1轮加密时不够安全,仅选择3幅明文图像就可破译。讨论了该密码在多轮加密时待解决的问题以及可能采取的改进措施。
世间最宝贵的是人才,迎接经济全球化的机遇和挑战,说到底是人才、科技的竞争。培育、造就这些人才,是兴国运、壮国威、福万民、泽后代之根本。人才来自于培养,培养要靠教育,
当前的课程改革注重推进信息技术与其他学科教学的整合,并把信息技术教育融合在其他学科的学习中。所谓信息技术与课程整合,就是通过学科课程把信息技术与学科教学有机地结合