检索结果-南通市图书馆

A formal model of fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2005年第4期48卷 499-512页

作者： qing sihan1,2.3.& li gaicheng1,2.{2. engineering Research center for information security technology, institute of software, chinese Aca- demy of Sciences, beijing 100080, china 2. {12. Zhongke Ansheng Corporation of information technology, beijing 100080, china 3. Graduate School of the chinese academy of Sciences, {12. 10003., china engineering Research center for {2. {3. technology Institute of Software Chinese Academy of Sciences Beijing China beijing Zhongke Ansheng Corporation of information {2. Beijing China Graduate School of the chinese academy of Sciences Beijing China

Based on the study of existing fair exchange protocols, this paper sets up an accurate formal model by stepwise refinement. In the process of refinement an unreliable channel is employed to simulate an attack behavior. The model provides a novel formal definition of exchanged items, and presents the formal goals for fairness, accountability, etc., reflecting the inherent requirements for fair exchange protocols across-the-board. In order to check, prove, and design fair exchange protocols effectively and efficiently, the model puts forward a novel property of abuse-freeness which applies to all fair exchange protocols, gives a formal definition for trust strand of the third party, and presents general criteria of designing a secure and effective fair exchange protocol. Taking a typical fair exchange protocol as an example, this paper presents the analysis steps of fair exchange protocols appealing to our model. An unknown attack is uncovered. The analysis reveals the process of a complete attack, discovering deeper reasons for causing an attack. Finally, we modify the flawed protocol and the revised protocol ensures the desirable properties.

关键词： events local causal relation local temporal relation global relation exchanged item security goals.

ON DECORRELATED FAST CIPHER

在线全文

学校读者我要写书评

暂无评论

Journal of Electronics(china) 2000年第1期17卷 94-96页

作者： Wu Wenling li Bao Feng Denguo {2. {3.(engineering Research center for information security technology,chinese academy of Sciences, beijing 100080)

Decorrelated Fast Cipher(DFC) is a candidate for the Advanced Encryption Standard (AES). It is shown that the cryptographic properties of the confusion permutation of DFC are weak in this paper. With the same F-function of DFC, a Feistel cipher VDFC which has no resistance against differential cryptanalysis is constructed. This demonstrates the importance of the key addition into DFC sufficiently. As a result, DFC may not be qualified candidate for the AES.

关键词： Round function Permutation Differential cryptanalysis Nonlinearity

在线全文

学校读者我要写书评

暂无评论

拒绝服务攻击的分析和防范

计算机工程与应用 2002年第12期38卷 183-187页

作者：张双卿斯汉中国科学院软件所信息安全技术工程研究中心北京100080

由于现有网络体系结构和网络协议中的缺陷和弱点,以及多年来网络系统累积下了无数的漏洞,使得网络安全越来越成为人们关注的焦点。拒绝服务攻击是黑客攻击系统时经常用到的一种方法,黑客们正醉心于对它的研究,而无数的网络用户将成为这... 详细信息

由于现有网络体系结构和网络协议中的缺陷和弱点,以及多年来网络系统累积下了无数的漏洞,使得网络安全越来越成为人们关注的焦点。拒绝服务攻击是黑客攻击系统时经常用到的一种方法,黑客们正醉心于对它的研究,而无数的网络用户将成为这种攻击的受害者。拒绝服务攻击的手段很多,给研究者的分析、判定、防御和恢复造成了很大困难。该文从多个方面对拒绝服务攻击进行了剖析,预测了发展趋势,提出了系统的防御解决方案。同时还给不负责任或缺乏经验的网络管理员敲响了警钟,必须加强安全意识,不断提高和强化网络安全设施,维护网络安全是大家共同的职责。

关键词：信息可用性安全服务质量拒绝服务攻击安全防范计算机安全网络安全

基于TPM虚拟单调计数器的电子钱包方案的分析和扩展

在线全文

学校读者我要写书评

暂无评论

通信学报 2009年第S1期30卷 1-8页

作者：刘冬梅卿斯汉杨涛李小群中国科学院软件研究所基础软件国家工程研究中心北京100080 中国科学院研究生院北京100039 中国科学院软件研究所信息安全技术工程研究中心北京100080 中国科学院计算机网络信息中心e-Science应用推进总体组北京100190

针对一种基于虚拟单调计数器的电子钱包方案存在的不足,对其进行了扩展,原方案商品原子性无法得到满足,且不能够防止货币消失的问题,即其货币原子性只能得到部分满足。在原方案的基础上,将货物的交换过程考虑进来,扩展后的方案既满足货... 详细信息

针对一种基于虚拟单调计数器的电子钱包方案存在的不足,对其进行了扩展,原方案商品原子性无法得到满足,且不能够防止货币消失的问题,即其货币原子性只能得到部分满足。在原方案的基础上,将货物的交换过程考虑进来,扩展后的方案既满足货币原子性,又满足商品原子性,同时能够为顾客提供隐私保护。

关键词：电子现金电子支付可信计算 TPM 公平性原子性匿名性

在IP包过滤中状态TCP包的过滤研究与设计

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2002年第7期38卷 162-164,176页

作者：原箐卿斯汉中国科学院信息安全技术工程研究中心北京100080

IP包过滤防火墙是构造整体网络安全系统的必不可少的部分。传统的IP包过滤防火墙有许多的缺陷,解决方法之一是使防火墙具有状态过滤能力。以TCP为例,状态过滤机制不仅能根据ACK标志和源、目的地址及端口号进行过滤,还能根据TCP包里的序... 详细信息

IP包过滤防火墙是构造整体网络安全系统的必不可少的部分。传统的IP包过滤防火墙有许多的缺陷,解决方法之一是使防火墙具有状态过滤能力。以TCP为例,状态过滤机制不仅能根据ACK标志和源、目的地址及端口号进行过滤,还能根据TCP包里的序列号和窗口大小来决定对该包的操作。这样可以防止一些利用TCP滑动窗口机制的攻击。在IP包过滤里加入状态过滤机制不仅能阻止更多的恶意包通过,还能提高IP包过滤的过滤速率(这对防火墙来说是很重要的)。

关键词： IP包过滤状态过滤序列号滑动窗口 TCP包防火墙网络安全计算机网络

在线全文

学校读者我要写书评

暂无评论

可扩展的网络弱点扫描系统设计与实现

计算机工程 2002年第2期28卷 149-151页

作者：黄菁苏璞睿蒋建春卿斯汉中科院信息安全技术工程研究中心北京100080

提出一种可扩展的网络弱点扫描系统能够在较短的时间内对新发现的安全问题迅速做出反应,极大地提高了系统的安全防御能力。,

关键词： Internet 网络弱点扫描系统设计网络安全入侵检测

在线全文

学校读者我要写书评

暂无评论

认证字典的一种新的分类方法

计算机工程与应用 2003年第35期39卷 1-3,19页

作者：周永彬卿斯汉季庆光刘娟中国科学院软件研究所中国科学院信息安全技术工程研究中心北京100080 云南民族大学历史系

认证字典是一类重要的数据结构,它在众多研究领域都具有重要的理论和应用价值,诸如科学数据挖掘、地理数据服务器、Internet上的第三方数据发布以及PKI中的证书撤销等。该文介绍了认证字典的基本概念与原理;首次在认证字典模型中引入了... 详细信息

认证字典是一类重要的数据结构,它在众多研究领域都具有重要的理论和应用价值,诸如科学数据挖掘、地理数据服务器、Internet上的第三方数据发布以及PKI中的证书撤销等。该文介绍了认证字典的基本概念与原理;首次在认证字典模型中引入了时间约束,并据此给出了认证字典的一种新的分类方法,探讨了认证字典的实现技术。最后,简要讨论了认证字典在PKI/WPKI中的应用。

关键词：认证字典分类法密码学公钥基础设施

A formal model for integrity protection based on DTE technique

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第5期49卷 545-565页

作者： JI qingguang qing {2. HE Yeping engineering Research center for {2. {3. technology Institute of Software Chinese Academy of Sciences Beijing 100080 China Infrastrucure software engineering {2. Institute of Software Chinese Academy of Sciences Beijing 100080 China

In order to provide integrity protection for the secure operating system to satisfy the structured protection class＇ requirements, a DTE technique based integrity protection formalization model is proposed after the implications and structures of the integrity policy have been analyzed in detail. This model consists of some basic rules for configuring DTE and a state transition model, which are used to instruct how the domains and types are set, and how {3. invariants obtained from initial configuration are maintained in the process of system transition respectively. In this model, ten invariants are introduced, especially, some new invariants dealing with information flow are proposed, and their relations with corresponding invariants described in literatures are also discussed. The thirteen transition rules with well-formed atomicity are presented in a well-operational manner. The basic {3. theorems correspond to these invariants and transition rules are proved. The rationalities for proposing the invariants are further annotated via analyzing the differences between this model and ones described in literatures. At last but not least, future works are prospected, especially, it is pointed out that it is possible to use this model to analyze SE-linux {3..

关键词： formal model integrity policy information flow domain type.

A Kind of Multi-party Non-repudiation Protocol with Consistent Evidence

在线全文

学校读者我要写书评

暂无评论

china Communications 2009年第4期6卷 88-96页

作者： liu Dongmei qing {2. National engineering Research center for Fundamental {2. Institute of Software The Chinese Academy of Science Beijing 100080 China engineering Research center for {2. {3. technology Institute of Software The Chinese Academy of Science Beijing 100080 China Graduate School The Chinese Academy of Science Beijing 100039China

With development of electronic com- merce, non-repudiation protocol as the basal component of non-repudiation service has done more and more important functions. Comparing with lots of work on two-party non-repudiation, there are less work on multi-party non-repudiation protocol. Multi-party protocol is more complex and facing more challenge of collusion attack. In this paper we give a kind of multi-party non-repudiation protocol based on off-line TTP with consistent evidence. Consistent evidence is a property that can not only simplify the process of disputation resolving, but also make the service more friendly to users, which means that whether or not TTP involves, evidences participants obtained are consistent. In the meanwhile we analyze the collusion attack that multi-party protocol facing, our protocol can prevent collusion attack.

关键词： multi-party fair non-repudiation protocol consistent evidence collusion attack freehess fairness