论文部分内容阅读
通过引入信任度函数等新概念，利用Biba模型不写上，不读下思想，并对身份认证过程前后进行分析，选用适当的认证算法，对整个认证系统进行了形式描述，最后给出了一个使得信息系统的完整性总能得到保障的条件．
身份认证过程的一种形式描述
【摘 要】
：
通过引入信任度函数等新概念，利用Biba模型不写上，不读下思想，并对身份认证过程前后进行分析，选用适当的认证算法，对整个认证系统进行了形式描述，最后给出了一个使得信息系统的完整
【机 构】
：
内江师范学院网络应用项目开发重点实验室／／内江师范学院计算机与信息科学系
【出 处】
：
内江师范学院学报
【发表日期】
：
2008年4期
【基金项目】
：
四川省教育厅自然科学重点项目（2006A130）内江师院院级科研项目：06NJZ-5.
其他文献
为确保区间隧道与施工通道交叉段施工的安全和质量，研究了交叉段的围岩应力状态及变形机制，依托重庆轨道交通某区间隧道与施工通道形成的交叉断面特征，建立了三维有限元数值模型