身份认证过程的一种形式描述

来源 :内江师范学院学报 | 被引量 : 0次 | 上传用户:fh2019
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过引入信任度函数等新概念,利用Biba模型不写上,不读下思想,并对身份认证过程前后进行分析,选用适当的认证算法,对整个认证系统进行了形式描述,最后给出了一个使得信息系统的完整性总能得到保障的条件.
其他文献
为确保区间隧道与施工通道交叉段施工的安全和质量,研究了交叉段的围岩应力状态及变形机制,依托重庆轨道交通某区间隧道与施工通道形成的交叉断面特征,建立了三维有限元数值模型
中国的这些传统文化思想,谁能更适应这个社会的发展谁就将会是这个时代的赢家。儒墨间的争斗是我国学术争论中最具代表性的,义与利之间攻伐的不休止促使两个学派不断的进步。本
为什么我们可以守住中国经济的中高速增长?这是因为中国仍有很多增长的潜力。比如政府减税、减费,减少行政收费的服务环节,提高老百姓的可支配收入,再加上“互联网+”提供给老百姓
目的:对肾科住院病例进行用药分析。方法:应用WHO推荐的药物利用指数(DUI)作为评价医生用药是否合理的指标。结果:DDDs排列前37位的药物中合理用药占76.92%,不合理用药占23.08%,不合理用药类型主要有给药剂量
抗病毒药物的临床应用陈世昆徐江涛(济南军区总医院济南250031)病毒性疾病传染性强,对人类健康威胁极大。理想的抗病毒药物应能抑制或杀灭细胞内病毒而对宿主细胞无毒害。本文就抗病毒
正确理解和处理好初中数学中知识与技能、过程与方法的相互关系;才能有效推动课改,从而提高教学质量。
经济发展新常态下,要全面、准确、及时地反映新产业、新业态、新商业模式(以下简称“三新”)发展状况,揭示新常态下创新驱动战略落实成效和“双创”进展态势,就需要统计工作的不断
利用全站仪的实践操作获得数据出发,简要叙述坐标测量绘制工程地形图的外业、内业工作步骤,并对出现的问题进行了分析及相应的解决对策,以期成果能为学校合理规划提供参照依据
电力施工企业要想在激烈的竞争中得以生存和发展,一方面要通过更新施工设备、吸收高素质人才等方式,提高硬实力;另一方面也要注重营造企业和谐氛围,重视企业工会的协调作用,
文章从代建单位的视角展开政府投资项目代建制管理模式下投资控制研究,阐释了代建制项目管理模式和投资控制理论,按照全过程管理的思想,对投资决策阶段、设计阶段、招投标阶段、