论文部分内容阅读
本文研究了公开密钥协议的防假冒问题,分析了一个不会泄漏消息但可导致假冒出现的协议实例,给出了假冒行为的形式化描述并提出可鉴别协议的概念及形式定义,证明了一个实用协议的安全性(包括机密性和可鉴别性)及可鉴别协议的有关性质.最后,给出了一个协议可鉴别性的判定算法.
公开密钥协议的可鉴别性
【摘 要】
：
本文研究了公开密钥协议的防假冒问题,分析了一个不会泄漏消息但可导致假冒出现的协议实例,给出了假冒行为的形式化描述并提出可鉴别协议的概念及形式定义,证明了一个实用协
【机 构】
：
海军潜艇学院指挥教研室青岛266071
【出 处】
：
计算机学报
【发表日期】
：
1992年2期
其他文献
众所周知．在世界经济格局一体化的进程当中，风险与商机并存的衍生品市场得以长足发展，国际市场原料价格的涨跌波动．几乎主导着国内食用油价格的整体走向。国际油脂市场具备了自然
内蒙古大学实验动物中心长江学者李光鹏带领研究团队成功克隆国内首例绒山羊。截至目前．克隆绒山羊已经出生44d，体重达到10．8kg。此次试验的妊娠率为21．4％．产仔率为7．1％。内蒙古大学
本文给出一放弃可采纳性的分类式学习搜索算法ＳＡＬＳ，它在系统初建时就能快速地获取经验知识，该算法的空间复杂度和平均时间复杂度皆为所获解路径耗费值的线性函数。将反复加深技术运
<正> 1.多值逻辑函数的分解 假设n个元素的集L={0,1,…,n-1},具有有序关系:0<1<…<n-1,对于n值变量X,Y,Z∈L,及常量a∈L,引进多值代数系统关于“与”(取最小)运算、“或”(取
1全国总体概况3月份，国内畜禽产品消费增加．禽类产品价格有所回升，饲料产量稳定增长．水产饲料增长幅度尤为明显。根据对全国29个省（自治区、直辖市）167家饲料企业的调查显示．其总产
农业部新闻办公室6月8日晚间发布消息说．经国家口蹄疫参考实验室确诊．山东省滨州市滨城区一养殖小区发生一起A型口蹄疫疫情．33头奶牛感染发病。
已知一加权无向图G(V,E),|V|=n.本文基于网孔处理机阵列,运用分而治之策略和数据归约技术给出了一种新的最小生成树算法.此算法需O(n~2/p)时间,使用了O(p)个处理机(1≤p≤n).
近年来，蛋白原料价格不断上涨．给饲料成本带来不少的压力。目前，饲料工业正逐步朝着绿色、健康、安全方向发展，为了降低饲料成本，节约蛋白质原料．降低动物应激．减少排泄物对环境的污
目的探讨上消化道出血的临床诊治方法。方法回顾性分析江苏张家港南丰医院内科自2008年6月至2009年12月收治的48例上消化道出血患者的临床资料,诊断和治疗。结果本组48例患者