串空间模型及其认证测试方法的一种扩展与应用

认证测试方法是基于串空间模型的验证安全协议的一种形式化方法,由于串空间模型没有抽象更多的密码学原语,因此难以分析较复杂的安全协议。通过扩展消息项、子项关系以及入侵者模型,扩展了串空间模型及相应的认证测试方法。根据扩展后的认证测试方法,分析了SSL3.0握手协议,验证了该协议认证属性。     

JFK协议的安全性分析

重新定义了串空间理想概念，并扩展了有关命题和定理，从而使串空间理论能分析包含丰富密码原语的安全协议，进一步应用此扩展串空间理论分析JFK协议（一个新提出的IPsec密钥交换协议）的桉心安全属性：秘密性和认证性．通过分析证明了JFK协议的密钥和认证安全性，对JFK的分析也为扩展串空间理论的广泛应用打下了一个坚实的基础．     

一个端对端安全协议的缺陷分析

针对串空间理论的不足,在相关研究的基础上,加入了Diffie-Hellman操作的密码原语,扩展了理想和诚实的概念,拓展了串空间理论的分析范围。分析了一个端对端安全协议的核心安全特性,即保密性和认证特性,使用扩展的串空间理论分析得出该协议不能满足认证性,给出该协议的一个攻击和改进方法。     

基于串空间的可信计算协议分析

可信计算技术能为终端、网络以及云计算平台等环境提供安全支撑,其本身的安全机制或者协议应该得到严格的形式化证明.该文基于串空间模型对其远程证明协议进行了分析.首先,扩展了串空间的消息代数和攻击者串,使其能表达可信计算相关的密码学操作,并对衍生的定理进行了证明;并且提出了4个新的认证测试准则,能对协议中的加密、签名、身份生成和哈希等组件进行推理.其次,基于扩展的串空间模型对远程证明协议的安全属性(隐私性、机密性和认证性)进行了抽象和分析.最后,给出了对发现攻击的消息流程,并基于ARM开发板对其中的布谷鸟攻击进行了实现,验证了串空间的分析结果.     

认证测试理论的扩展和应用

通过在串空间中加入新的密码原语,重新定义认证测试的前提条件、扩展认证测试理论,使其能够分析有签名运算的密码协议。通过对基于Diffie—Hellman密钥交换的安全协议进行合理的假设,使其参数项具有现时值的性质,从而可以直接使用扩展的认证测试理论进行分析。使用扩展后的认证测试分析一个包含签名和Diffie—Hellman密钥交换的密码协议,得出该协议满足认证特性。     

IKE2协议的安全性分析

本文首先扩展了串空间的理想理论，然后应用此扩展理论分析IKE2协议的核心安全：秘密性和认证性。通过分析，证明了IKE2协议的密钥交换和认证安全性，但同时发现它不能在主动攻击模式下保护发起者身份，对此我们提出了一个修改意见。对IKE2的分析也为扩展串空间理论在复杂协议分析中的应用提供了一个实践基础。     

Neuman-Stubblebine协议的串空间模型及分析

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤.首次利用串空间理论从机密性和认证性两个方面对Neuman-Stubblebine协议进行了分析.分析结果证明该协议是安全的,而且理想对公开密钥算法和对称密钥算法产生的协议的分析都是有效的.     

Yahalom-Paulson协议的串空间模型与分析

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Yahalom-Paulson协议进行了分析。分析结果证明该协议是安全的。     

基于扩展串空间模型的IEEE802．11i分析

通过对串空间模型的扩展,使其具备分析复杂安全协议的能力。利用扩展后的串空间模型,对IEEE802．11i协议中的4步握手协议进行分析,证明4步握手协议达到协议机密性和认证正确性目标的结论。指出在协议可用性分析方面还须继续对分析方法进行扩展研究。     

串空间理论的扩展和应用

根据安全协议分析的需要,阐述经扩展后的串空间理论,在该理论中加入Diffie-Hellman密钥交换等操作,在此基础上扩展理想和诚实的概念,使用扩展的串空间理论分析SIGMA-R协议的核心安全特性——保密性和认证特性,并通过数学方法加以验证。     

BCI-implicative ideals of BCI-algebras

This paper introduces the notion of BCI-implicative ideals and characterizes BCI-implicative ideals and closed BCI-implicative ideals. Using these characterizations, the connections between BCI-implicative ideals and other ideals in BCI/BCK-algebras are investigated. Additionally, the extension property of BCI-implicative ideals is established. Finally, the implicative BCI-algebras are completely described using BCI-implicative ideals. The above work generalizes the corresponding results in BCK-algebras.     

基于直觉模糊粗糙集相似度的多属性决策方法

将直觉模糊粗糙集应用于多属性决策问题,提出了基于改进的直觉模糊粗糙集相似度的多属性决策方法。针对现有的直觉模糊粗糙集相似度忽略犹豫度而造成度量不精确的问题,提出了一种改进的直觉模糊粗糙集相似性度量方法,并揭示其若干重要性质。在此基础上,将属性值用直觉模糊粗糙集表示,并通过各个方案与直觉模糊粗糙集正、负理想方案的相似度比较,实现决策方案排序。数值实例表明了该方法的可行性和有效性,其在态势评估、目标识别等信息融合领域有良好的应用前景。     

Gröbner basis of the alternating galoisian ideal

This article proposes an efficient and simple algebraic method of computation of a Gröbner basis generating the alternating galoisian ideal of a univariate separable polynomial. We named this method “the descent of the Vandermonde determinants”.     

On the structure of rough prime (primary) ideals and rough fuzzy prime (primary) ideals in commutative rings

This paper is a continuation of ideas presented by Davvaz [Roughness in rings, Inform. Sci., 164 (2004) 147-163; Roughness based on fuzzy ideals, Inform. Sci., 176 (2006) 2417-2437]. We introduce the notions of rough prime (primary) ideals and rough fuzzy prime (primary) ideals in a ring, and give some properties of such ideals. Also, we discuss the relations between the upper and lower rough prime (primary) ideals and the upper and lower approximations of their homomorphism images.     

多属性决策的模糊理想点法

讨论了属性值为三角模糊变量的多属性决策问题,提出了确定模糊正理想点和模糊负理想点的方法,给出了基于模糊正理想点和模糊负理想点对各方案进行排序的方法。给出算例验证了所提出的方法的有效性,并验证了不同方法所确定的模糊正理想点和模糊负理想点,会导致方案排序的改变。     

Ideals of an EMV-semiring

ABSTRACT

In this paper, congruences, ideals, and prime ideals of an EMV-semiring and of its associated EMV-algebra are studied. Then EMV-semirings are characterized and it is proved that each EMV-semiring can be embedded into a direct product of a family of MV-semirings as an EMV-semiring. Moreover, another representation of EMV-semirings are presented by EMV-semirings of continuous sections in a sheaf of commutative semirings whose stalks are localizations of EMV-semirings over prime ideals. Also, using the categorical equivalence between EMV-semirings and EMV-algebras, a representation of EMV-algebras are obtained.     

Gröbner bases in exterior algebra

We show that the Buchberger algorithm for commutative polynomials over a field may be generalised to an algebraic structure which embeds such polymomials, the exterior polynomial algebra, and which is a natural domain for linear geometry. In particular, those finite sets of exterior polynomials which induce confluent reduction relations are characterised, and a means of algorithmically constructing them from a given set presented. A distinguished subset of such bases consists of the exterior algebra version of Gröbner bases. We characterise such bases and demonstrate how to construct them algorithmically from a given finite set of exterior polynomials.     

BR0代数的犹豫模糊滤子与理想

将犹豫模糊集应用于[BR0]代数的滤子和理想理论中,初步建立[BR0]代数的犹豫模糊滤子与理想理论。引入了[BR0]代数的犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想的概念,研究它们的基本性质,给出了[BR0]代数的犹豫模糊集成为犹豫模糊滤子（犹豫模糊理想）的条件,证明了[BR0]代数的犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想关于交运算具有封闭性,指出了犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想在[BR0]代数同构下的不变性。     

MV-代数中的⊕理想与同余关系及其相关性质

在MV-代数中引入了⊕理想概念,并对⊕理想与同余关系的联系及其相关性质进行了初步研究。在MV-代数中利用蕴涵算子⊕给出了⊕理想的等价表示形式,进一步揭示了⊕理想与MP滤子的内在联系;在MV-代数中研究了⊕理想与同余关系之间交互诱导的性质,揭示了⊕理想与同余关系的联系;利用经典代数的方法证明了⊕理想所诱导的同余关系所确定的商代数仍是MV-代数,进而证明了通过⊕理想所决定的商代数是线性MV-代数当且仅当⊕理想是素⊕理想。     

热电偶线性化器的设计

随着科学技术的不断发展，自动化程度不断提高，数字化测量仪表应用越来越广泛。在现代化工业生产中常用热电偶测试高温，测试结果用数字显示，由于热电偶的热电势与温度呈非线性关系，如果测试结果用数字显示必须对热电偶进行线性化处理。介绍了用理想二极管电路与加法器实现对热电偶线性化器原理设计。利用理想二极管的特点，将热电势与温度的非线性用折线逼近的方法将非线性曲线变成线性曲线，然后利用加法器将多个理想二极管电路产生的折线电压相加求和，所得电压经过A／D转换器变成数字信号后进行数字显示。该线性化器线路简单，在测量速度和精度方面都超过指针式仪表；调试、制作方便。