【摘 要】
：
提出了一种基于逻辑的信任多集方法,它与已有的密码协议安全性分析方法本质上不同：每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性
论文部分内容阅读
提出了一种基于逻辑的信任多集方法,它与已有的密码协议安全性分析方法本质上不同：每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性标识符的消息本身.在基于匹配对话和不可区分性的计算模型下,证明了给出的保证密码协议单方认证安全、双方认证安全、单方密钥安全和双方密钥安全的充分必要条件分别满足4个可证安全定义.实例研究和对比分析表明,信任多集方法有以下特点：首先,安全性分析结果要么证明了一个密码协议是安全的,要么指出了密码协议安全属性的缺失,由安全属性的缺失能够直接导出构造攻击的
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
为了促进企业有效实施内部控制，提高企业现代化管理水平，减少人为因素，许多企业利用信息系统实施内部控制，即利用计算机和通信技术，对内部控制进行集成，转化和提升所形成的信息化管
伴随着网络技术和信息技术的发展,远程监控系统已经广泛地应用到了工业领域。由于抛丸机的工作环境比较恶劣,人工现场监控难度较大,故针对抛丸机进行远程监控系统的设计。
针对基于PIC单片机的高精度可燃气体探测报警系统的设计，文章介绍了系统工作原理、硬件组成、软件设计及温湿度补偿的方法。该系统可实现环境气体浓度监测和报警等功能。
《人类的家园》1932年最早出版于美国。作者房龙是美国著名的人文主义文学大师,主要的著作有《人类的故事》《人类的家园》(《房龙地理》)《宽容》《艺术论》《伦勃朗传》等
主要选取可量化且能综合反映中药材产业竞争力水平的关键指标纳入评价指标体系,采用因子分析方法对全国各个省区中药材产业竞争力进行区际比较,在与全国其他各省比较的基础上