切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于串空间认证测试理论的认证协议分析
基于串空间认证测试理论的认证协议分析
来源 :微型机与应用 | 被引量 : 0次 | 上传用户:ggyy2000_2000
【摘 要】
:
对增强型认证测试理论进行简化,使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中,发现协议存在的缺陷,对协议进行改进,并对改进后的协议进行了分析验证。
【作 者】
:
翁艳琴
石曙东
解颜铭
【机 构】
:
湖北师范学院数学与统计学院,湖北师范学院计算机科学与技术学院
【出 处】
:
微型机与应用
【发表日期】
:
2012年1期
【关键词】
:
串空间模型
认证测试
关联性理论
strand space theory certification testing relevance concepts
【基金项目】
:
湖北省自然科学基金(2006ABA056),湖北省教育厅重点项目(D20092203),湖北竹教育厅青年项目(Q20L02503)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对增强型认证测试理论进行简化,使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中,发现协议存在的缺陷,对协议进行改进,并对改进后的协议进行了分析验证。
其他文献
胡萝卜蜜饯的制作
<正> 胡萝卜营养丰富,含有多种维生素和糖分,在我国许多地方都有栽培,产量高。以它为原料加工成蜜饯受到消费者的青睐,现介绍一种简单易行 的加工方法。 一、工艺流程 原料选
期刊
糖煮
第二次
糖液
预煮
不确定性视角下的产业园区规划编制方法研究——以浙江两个省级产业园区为例
社会治理体系对城市规划提出了新的要求,民众、市场与政府的协作治理机制将使城市规划固有的不确定性问题进一步凸显出来。在新型城镇化发展和产业转型发展的双重聚焦下,产业
会议
不确定性
产业园区
剩余不确定性
规划编制
规划方法
为绿色建筑而开发
目前,绿色建筑正逐渐成为建筑业发展的主流。作为ecomagination计划的一部分,GE塑料集团开发出了适合于绿色应用的环保型工程塑料,可替代传统建筑材料用于建筑物的门窗和屋顶,大
期刊
绿色建筑
开发
工程塑料
GE塑料
建筑材料
绿色建材
建筑业
环保型
基于信息共享策略的供应链定价决策模型比较研究
针对牛鞭效应带来供应链负面波动影响的问题,提出了基于信息共享策略的供应链定价决策模型。通过构建针对不同信息共享策略中零售集团和上游供应商的最优定价决策方案,比较分
期刊
供应链
牛鞭效应
博弈模型
信息共享
基于BIM的建筑工程进度估计方法研究
现有施工进度管理方法不能满足复杂化、大型化的建设项目要求。为解决此问题,提出基于BIM的建筑工程进度估计方法。通过估计进度计划编制、进度估计动态联动修改,完成基于BIM
期刊
BIM
建筑工程
施工进度
模型
估计方法
研究分析
科技与法律杂志·活页资料
期刊
活页资料
《内经》中泄泻、腹满针灸类方刍议
目的:探讨《内经》中腹满、泄泻针灸类方的现代临床意义。方法:从《内经》中摘取关于腹满、泄泻的针灸类方,加以解析,并与现代针灸临床进行对比。结果:共摘取腹满针灸类方原
期刊
《内经》
腹满
泄泻
针灸类方
移动医疗在糖尿病病人延续护理中的应用进展
介绍国内外基于无线通信和"互联网+"的移动医疗在糖尿病病人延续护理中的应用现状,指出目前存在的问题,为推动延续护理工作提供参考。
期刊
移动医疗
糖尿病
延续护理
应用程序
微信
电话随访
互联网+
东方蜜蜂微孢子虫侵染中华蜜蜂过程中的高表达基因表达谱及其潜在作用
本研究旨在通过高通量测序技术和生物信息学方法探究东方蜜蜂微孢子虫(Nosema ceranae)在侵染中华蜜蜂(Apis cerana cerana,简称中蜂)过程中的高表达基因(highly expressed g
期刊
中华蜜蜂
中肠
东方蜜蜂微孢子虫
侵染机制
高表达基因
Apis cerana ceranaMidgutNosema ceranaeInfection mech
二维斜分指数交叉熵的印章图像阈值分割
提出了一种二维斜分指数交叉熵的印章图像阈值分割方法,借鉴二维直方图的斜分思想对二维指数交叉熵直方图进行斜分。实验结果表明,相对于最大熵法和指数熵法,提出的二维斜分指数交叉熵的印章图像阈值分割方法分割效果更佳。
期刊
印章图像
阈值分割
指数交叉熵
斜分
seal imageimage segmentationexponential cross entropyoblique
与本文相关的学术论文