【摘 要】
：
用户登录身份认证是建立操作系统可信性的一个非常重要的环节,是建立可信计算环境的基础。首先讨论了认证的相关技术,介绍了CPK（组合公钥）原理,然后根据可信计算组织的规范,利
【机 构】
：
解放军信息工程大学信息工程学院应用数学系
【基金项目】
：
国家重点基础研究发展规划（973）子课题No.2007CB311100
论文部分内容阅读
用户登录身份认证是建立操作系统可信性的一个非常重要的环节,是建立可信计算环境的基础。首先讨论了认证的相关技术,介绍了CPK（组合公钥）原理,然后根据可信计算组织的规范,利用CPK算法和动态验证码的技术,提出了一种基于CPK的可信平台用户登录认证方案,该方案属于双因素认证方案,将认证和授权严格分开,并启发式分析了方案的特色和安全,最后在串空间模型下证明了方案的安全性,取得了比TCG标准中引用的方案更好的性能。
其他文献
歼-7GB是中国人民解放军“八一”飞行表演队用的飞机，是在歼7E飞机总体结构外型布局不变的基础上改装了脉冲多卜勒PD雷达，头盔瞄准具和航电系统升级等的歼-7G飞机又为作“八一
教学,原本就存在老师的教与学生的学两个方面。物理教学过程,不仅是传授知识技能的过程,而且是教学生如何学物理的过程。所以老师应重视对教与学两方面的研究,做到知已知彼,
根据地理信息系统GIS的特点和空间分析实验的特点,提出利用MATLAB软件进行GIS空间分析实验设计,并结合一个实例,给出了MATLAB空间分析建模实验应用的主要内容和方法。此实验设计应用有助于学生较快地理解GIS空间分析实验原理,学会利用MATLAB软件分析解决GIS地学实际问题。
首先介绍线性分组码的传统网格和BCJR传统网格,然后给出一种新的降低线性分组码网格复杂度方法——校验矩阵置换法。该方法是通过置换校验矩阵列向量的适当位置,从而使网格图
目的和引言在研究各种土工布(织造的和不织的)特性,其拉伸行为和表达其现场应用时的行为,早期所用的传统标准试验方法,大部分是不适宜的或与实质相离的,其尤者还引向错误。本
植物茎杆的可视化模拟对认知植物骨架结构及提高植株真实感具有重要意义。为模拟作物茎秆的外部形态,提出基于球B样条的植物茎杆模拟方法。首先利用数字化仪或三维扫描仪获取作物的真三维数据,然后根据不同作物的特点灵活选用样条基函数计算得到中轴线,并根据中轴线确定轮廓线,最后根据枝干的弯曲情况确定各点轮廓线的法向。文中利用不同表达形式的球B样条实现了辣椒、黄瓜、玉米三种作物的茎秆可视化模拟,并在玉米的模型中将
根据型值参数，在Fluent前处理器ICEM软件中建立了船体、螺旋桨和超级导流管（SSD）的几何模型，并使用混合网格方法对模型进行网格划分。采用计算流体力学（CFD）理论，结合雷诺平均纳维—
态度挖掘是近年来文本挖掘领域的热点课题之一,旨在发现文本中作者的主观态度倾向,为基于舆情的决策过程提供支持。目前已有的态度挖掘算法绝大多数都基于情感词典来识别情感
在Banach空间中建立了一种新的关于求广义拟变分包含解与渐近非扩张映射不动点的公共元素的迭代逼近算法，且在一定条件下证明了该迭代序列的强收敛性．结果改进和推广了现有的一
采用Abaqus软件建立多个非线性有限元计算模型,对完整和破损后的船体梁进行非线性有限元计算。通过与Smith方法的结果对比分析,确定船体梁残存强度非线性有限元计算模型和边