论文部分内容阅读
在克服一种非否认协议草案的缺陷的基础上，提出一种新的非否认协议。新的协议可以在不安全和不可靠的信道上工作，并能对付各种期骗行为。此外，还对ＳＶＯ逻辑进行扩充，引进一些新的概念和方法，并用扩展后的ＳＶＯ逻辑分析与证明新的非否认协议。
一种新型的非否认协议
【摘 要】
：
在克服一种非否认协议草案的缺陷的基础上，提出一种新的非否认协议。新的协议可以在不安全和不可靠的信道上工作，并能对付各种期骗行为。此外，还对ＳＶＯ逻辑进行扩充，引进一些新的概念
【机 构】
：
中国科学院软件研究所信息安全国家重点实验室中国科学信息
【出 处】
：
软件学报
【发表日期】
：
2000年10期
其他文献
本文中笔者根据目前中职学校旅游管理专业教学的现状，结合自身多年从事中职学校旅游管理专业教学的工作经验、依据大量的教学实践调研、参考旅游管理专业著作典籍来给出关于提
文章提出了出版社图书直供高校图书馆的建议,并从间供的局限性、直供的必要性、直供的阻力、直供的方法、直供的意义等方面,探讨图书直供高校图书馆的可行性,以求形成出版社
鼠疫耶尔森氏菌是烈性传染病鼠疫的病原菌,该菌在媒介(跳蚤)和宿主(哺乳动物)之间的循环过程中,基因表达适应环境谱的变化.本文介绍鼠疫耶尔森氏菌适应环境信号如不同温度、
她两耳塞着袖珍收录机的耳机,边听音乐边说她可以同时所清考官的话。 他说自己还没来得及吃午餐、随后就在招聘办公室内吃起了面包。 他穿着运动服来求职,居然要求得到一个副
文章通过文献分析方法,梳理嵌入式智库服务的主要维度即智库馆员嵌入、资源建设嵌入、服务方式嵌入等,并在此基础上总结出了嵌入式智库服务的关键策略,以期为图书馆提升智库
从人胎儿肾中提取总ＲＮＡ，反转录得ｃＤＮＡ，ＰＣＲ扩增获得１．３ｋｂ的骨形态发生蛋白－７（ＢＭＰ－７）的全长ｃＤＮＡ。克隆的ＢＭＰ－７基因编码的氨基酸序列与文献报道相同。
由西藏自治区教育科学研究所组织的全区首届中学藏语文教学课件大赛于2011年9月26日在拉萨落下帷幕。全区首届中学藏语文教学课件大赛分为高中组和初中组,各评选出一等奖1名,
为了进一步推进农牧区的德育工作,探索具有农牧区特点的德育模式,那曲索县人民政府、索县教体局在教育厅、地区教体局的直接领导下,在西藏教科所和社科院的大力支持和指导下,