分享到:

一种分析和设计安全协议的新逻辑

安全协议是一种面向应用层的协议,它为通信的实体打上包装,穿上盔甲,防止攻击者对敏感数据进行窃取,保证通信内容的完整性。不同的应用需求对安全协议的设计也提出了新的要求,如组通信、匿名通信、安全多方计算、不可抵赖的签名、盲签名、群盲签名和数字现金等安全技术都要依靠安全协议来实现,所以安全协议的安全性显得特别重要。随着信息技术的发展,信息安全成为人们普遍关心的话题。人们已经逐渐习惯于在网上进行办公、交流,在网上进行着各种商品的交易,因此网络安全问题是当今的一个研究热点。怎样在不安全的环境中进行秘密通信?这个问题主要通过安全协议来解决,所以安全协议是网络安全成败的关键所在。本文在分析了安全协议分析的现状和安全协议设计的现状的基础上,提出了一种可以用来分析和设计安全协议的新逻辑,并结合串空间模型来证明了新逻辑的正确性。最后以几个比较有代表性的例子来说明新逻辑的具体应用。具体来说,本文取得了下面一些成果:(1) 给出了新逻辑的构成,包括新逻  (本文共118页) 本文目录 | 阅读全文>>

《科学之友》2011年09期
科学之友

浅谈我国规范设计安全度

文章论述了我国从建国以前到当今规范设计安全度的变化历程,通过查阅大量...  (本文共2页) 阅读全文>>

《甘肃科技》2007年02期
甘肃科技

茂基锰高效汽油抗爆剂装置的设计安全

对我国第一套工业化1000吨/年茂基锰高效汽油抗爆剂装置设计的安全进行了介绍。在该装置的设计过程中,针对装置工艺流程的设计安全、装置布置的...  (本文共2页) 阅读全文>>

《石油化工安全技术》2000年01期
石油化工安全技术

建立设计安全质量保障体系

1.设计的安全质量保证不仅仅是执行标准规范 标准规范是设计安全质量保证的基础,是设计安全质量保障体系中的重要组成部分,但执行标准规...  (本文共2页) 阅读全文>>

《建筑科学》1999年05期
建筑科学

关于结构设计安全度问题

从设计实践中的体会,对结构设计安全度提出了一些看法:①五、六十年代房屋结构设计主要采用原苏联规范,特点是理论上...  (本文共3;页) 阅读全文>>

南京艺术学院
南京艺术学院

日本儿童设计意识的养成与构建

2011年4月2日,以培植“设计意识”为目的的儿童设计启蒙电视节目——《啊!设计》,在日本NHK电视台正式推出,节目一经推出就获得了大量的观众和一致好评,至今已经更新至136集,并于2013年、2018年在日本境内举办了两次设计大展。早在20世纪50-60年代,日本便推出一系列官方设计振兴政策与设计扶持计划,经过半个世纪的努力,获得了显著的成效,在建筑设计、服装设计、平面设计、产品设计、服务设计等领域都出现了设计大师。现在,日本政府与设计师们将目光聚焦于儿童——未来的创作者与生活设计的享用者,用最优秀的资源为儿童提供设计启蒙服务,可以想象,若干年以后,这些儿童长大成人,即便在不同的工作领域,他们对设计的理解会有某种共同的基础,并支撑日本对设计的认知。本文将从节目的风格、内容板块、发生机制和相关推广活动这几个方面,对《啊!设计》进行具体分析。节目策划人佐藤卓曾经谈到推出节目的初衷——“设计的意识,每个人都必须要有”,事实上,在日本...  (本文共66页) 本文目录 | 阅读全文>>