隐标识身份认证方法及其形式化语义分析

来源 :计算机工程 | 被引量 : 0次 | 上传用户:csy355
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需提交身份标识即可与服务器实现身份认证,并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明,该协议达到了预期的设计目标。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
近年,金融界对我国国有商业银行改革与发展问题关注的焦点,已经从内部控制转向公司治理结构。随着改革的进一步深入,特别是中国加入世界贸易组织后竞争态势的加剧,国有商业银行公
本文主要介绍的西安交通大学第二附属医院西一楼中央空调设计,阐述了在满足舒适度的基础上,结合了原建筑结构特征及甲方使用要求,进行风冷润旋冷水机组空调系统及新风排风系
期刊
入侵过程由一系列入侵行为组成,每个入侵行为包含一个或多个入侵事件,这些事件间可能存在各种各样的关系。该文对入侵事件特征进行研究,从检测角度对入侵事件进行分类。定义了入
一、概述慢性副鼻窦炎手术,长期以来以Colaweel-Luc手术为引流.随着近年来副鼻窦炎症状轻症化,应用了鼻科临床的鼻内窥镜检查.
海尔空调巴基斯坦品牌市场三年销量第一全球空调业的“经济寒冬”并未影响到海尔空调在巴基斯坦的快速成长和发展。近日,据海尔空调巴基斯坦市场相关负责人介绍,从2008年海尔
本文首先运用大量的事实和数据,从新建独资企业、原有合资企业的股权扩张以及外商并购国内企业三个方面分析了当前我国外商直接投资的现状,得出外商对华直接投资正呈现“独资
【正】 前言土耳其(古称突厥)民族是一个朴实、勇敢、富于深谋远虑的民族,世代居于我国北方,历史悠久,其先祖可上溯到汉代,与中原地区早有往来。公元六世纪,崛起于漠北,逐铁
为了满足多域系统的访问控制需求,提出RBAC的扩展模型——DRTBAC模型。模型中引入域、型、角色关联等概念,增加了权限的灵活设置机制,并将基本安全原则融入到模型的角色划分、指