检索结果-南通市图书馆

Formal analysis and design of multi-party fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第2期49卷 155-174页

作者： qing sihan1,2.3.& li gaicheng1,3.1. engineering {3. center for information security technology, Institute of Software, chinese academy of sciences, beijing 100080,{13. 2. beijing Zhongke Ansheng Corporation of information technology, beijing 100080,{13. 3. Graduate School of the chinese academy of sciences, beijing 10003.,{13. 1. engineering research center for {3. security technology Institute of Software Chinese Academy of Sciences Beijing 100080 China 2. beijing Zhongke Ansheng Corporation of information technology Beijing 100080 China 3. Graduate School of the chinese academy of {3. Beijing 100039 China

Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange protocols, formally specifies various security requirements which are able to reflect inherent requirements for fair exchange protocols more rigorously, and partition these security requirements with fine granularity. This work helps analyze, debug, and design multi-party fair exchange protocols more effectively and elaborately,

关键词： fair exchange logical protocol formal model security requirement.

ON DECORRELATED FAST CIPHER

在线全文

学校读者我要写书评

暂无评论

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

作者： Wu Wenling li Bao Feng Denguo qing {3.(engineering {3. center for information security technology,chinese academy of {13., 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

在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年第12期38卷 183-187页

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

计算机工程与应用 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 sihan HE Yeping engineering research center for {3. security technology Institute of Software Chinese Academy of Sciences Beijing 100080 China Infrastrucure Software engineering center 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 sihan National engineering research center for Fundamental Software Institute of Software The Chinese Academy of Science Beijing 100080 China engineering research center for {3. security 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

Active learning to overcome exponential-wall problem for effective structure prediction of chemical-disordered materials

在线全文

学校读者我要写书评

暂无评论

npj Computational Materials 2023年第1期9卷 2243-2251页

作者： Xiaoze Yuan Yuwei Zhou qing Peng Yong Yang Yongwang li Xiaodong Wen State Key Laboratory of Coal Conversion Institute of Coal ChemistryChinese Academy of SciencesTaiyuan 030001China National Energy center for Coal to Clean Fuels Synfuels China Technology Co.LtdHuairou DistrictBeijing 101400China The State Key Laboratory of Nolinear Mechanics Institute of MechanicsChinese Academy of SciencesBeijing 100190China beijing Advanced Innovation center for Materials Genome engineering Industry–University Cooperation Base between Beijing Information S&T University and Synfuels China Technology Co.LtdBeijingChina School of engineering sciences University of Chinese Academy of SciencesBeijing 100049China

Chemical-disordered materials have a wide range of applications whereas the determination of their structures or configurations isone of the most important and challenging problems. Traditional methods are extremely inefficient or intractable for large systemsdue to the notorious exponential-wall issue that the number of possible structures increase exponentially for N-body ***, we introduce an efficient approach to predict the thermodynamically stable structures of chemical-disordered materials viaactive-learning accompanied by first-principles calculations. Our method, named LAsou, can efficiently compress the samplingspace and dramatically reduce the computational cost. Three distinct and typical finite-size systems are investigated, including theanion-disordered BaSc(O_(x)F_(1−x))3.(x = 0.667), the cation-disordered Ca_(1−x)Mn_(x)CO_(3. (x = 0.25) with larger size and the defect-disordered ε-FeC_(x) (x = 0.5) with larger space. The commonly used enumeration method requires to explicitly calculate 2664, 103.,and 10496 configurations, respectively, while the LAsou method just needs to explicitly calculate about 15, 20, and 10configurations, respectively. Besides the finite-size system, our LAsou method is ready for quasi-infinite size systems empoweringmaterials design.

关键词： disordered exponential configuration