基于概率可观察等价性的安全协议分析

针对Spi演算在安全协议分析中存在的局限性,通过引入概率多项式时间进程,提出了一个分析安全协议的新方法。该方法是对Spi演算的改进,在这个方法中攻击者是概率多项式时间进程,协议的安全性用概率可观察等价性表示。通过对Needham-Schroeder对称密钥认证协议的分析,验证了该方法的可行性和有效性。     

安全协议形式化分析方法

安全协议的形式化分析是检验协议安全性的必要手段。为了实现协议的规范描述和合理完备的安全性验证,各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域。主要从逻辑方法、模型检测方法和证明方法3个方面对符号化的安全协议形式化分析方法进行了综述,并指出了今后该领域的研究方向。     

基于NPLAB的Kerberos V5协议的形式化分析

安全协议是建立在密码学基础上的协议,提供主体的身份识别和认证、会话密钥的管理和分配等各种安全服务.NPLAB是一款网络通信协议设计软件,它使用HLPSL语言对安全协议进行建模,采用形式化分析方法分析安全协议,并给出其安全性和可能的攻击路径.以KerberosV5协议为例,对NPLAB的使用进行说明,分析协议的安全性.     

电子商务协议的建模方法与分析

电子商务商议是安全协议和商务逻辑的结合体,SET协议是为解决信用卡支付业务在Internet上安全、可靠的支付而提出的一种解决电子商务的安全支付方案。因为SET协议涉及的参与主体较多．相互握手次数较平凡．从而导致协议比较复杂．分析比较困难,．在分析SET协议规范的基础上,利用形式化分析工具－Petri网对SET协议进行建模分析,给出协议与Petri网模型之间的对应关系。最终使得SET协议便于理解和分析。     

物联网中安全通信协议的形式化分析

针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对传送的信息进行加密,采用的加密方式是散列函数结合异或运算。协议主体进行了相互认证,认证服务器为协议主体通信分配了会话密钥,解决了读写器非法扫描和信息安全传送的问题。利用故障发散改进检测器（FDR）对该协议模型CSP进程进行了检测,结果表明：该协议主体进行了相互认证,会话密钥是安全的,所提出的物联网通信协议是安全可靠的,CSP方法用于分析协议的安全性是可行的。     

安全协议及其形式化分析研究

安全协议是网络安全的重要基础,形式化分析是保证安全协议具备相应安全性质的有效途径.通过对安全协议进行分类,阐述了各类协议所应具备的安全性质;并基于安全协议进行形式化分析时所作的各种假设,综述和分析了三类典型的安全协议形式化方法,给出了安全协议形式化分析研究的发展趋势.     

安全协议及其形式化分析研究

安全协议是网络安全的重要基础，形式化分析是保证安全协议具备相应安全性质的有效途径。通过对安全协议进行分类，阐述了各类协议所应具备的安全性质；并基于安全协议进行形式化分析时所作的各种假设，综述和分析了三类典型的安全协议形式化方法，给出了安全协议形式化分析研究的发展趋势。     

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议,用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比,乐观电子合同签订协议更为复杂,从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法,应用模型检测方法分析安全协议时,前提和关键是对协议及其执行环境进行准确和全面的建模。     

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议，用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比，乐观电子合同签订协议更为复杂，从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法，应用模型检测方法分析安全协议时，前提和关键是对协议及其执行环境进行准确和全面的建模。     

可认证无证书密钥协商协议研究与改进

常用的基于证书的认证密钥协商协议,在管理和维护证书方面占用较多的资源.在无证书的密钥协商协议的基础之上,综合密钥安全和性能方面的考虑,从可认证密钥协商形式化安全模型分析入手,提出了一种增强的可认证无证书的密钥协商安全模型,给出了可认证无证书密钥协商协议CL-AKA,并从系统建立、用户密钥生成和密钥协商3个方面进行了描述和安全性分析.结果表明,该协议安全性高,与同类协议相比具有性能上的优势.     

全局性模态词与基本模态语言的扩充

模态语言是讨论关系结构的一种简洁的语言。基本模态语言是仅有一个模态算子◇的模态语言,用ML（◇）表示此语言,但基本模态语言对框架关系的表达力并不是完全的,加入新的模态算子是增强模态语言表达力的方法之一。在基本模态语言ML（◇）基础上增加全局性模态词“E”得到ML（◇,E）语言,这种更丰富的语言对关系模型和关系框架的表达力明显强于基本模态语言。     

基于规则和实例相结合的英藏机器翻译系统的设计模型

当今社会处于Intemet迅猛发展的信息时代，因此，迫切需要通过机器翻译来消除不同民族之间的字沟通障碍。本提出了一个基于规则和语料的英藏机器翻译系统的设计模型，概括介绍本系统的设计思想、设计原则，在选择翻译方法的基础上，着重阐述了系统的总体结构、翻译算法及语言模型，最后给出了进一步的设想。     

在翻译中比喻性短语的文化内涵

英汉两种语言中都存在着大量的比喻性词语,但由于各自的社会文化背景,宗教信仰等各方面的不同,在比喻的主体和客体之间选择也不尽相同。本文从荚汉两种语言比喻性词语的喻体和喻义之间的对应关系着手,以探讨其内在的文化内涵及其翻译方法。比喻性词语可以通过成语,俗语,典故,谚语,惯用语,格言等诸多形式表现出来。英汉两种语言在对同一本体设喻时,采用的喻体却有同有异,喻体和喻义之间的对应关系也不同,有完全对应,部分对应和非对应关系。     

从英汉谓语动词的互译比较英汉句法差异

文章从英汉谓语动词的使用来分析对比这两种语言在句法结构方面的一些异同:英语动词的使用受到形态变化规则的严格限制.而汉语动词没有形态变化的约束,使用起来十分自由简便.英语句子结构是语法的,汉语句子结构是语义的.汉语句子结构多采用"意合法"(parataxis),英语句法结构多用"形合法"(hypotaxis).     

河南高校大学生普通话和英语口语状况的调查与分析

在调研基础上对河南高校大学生普通话和英语口语状况以及两的关系进行了分析,从中找到了影响高校普通话推广和大学生口语状况的改进的主要因素,为今后高校有关部门有益的决策依据。     

生活用语与文化背景

语言植根于各国的文化，同时又为各国的社会文化服务。通过中日美3国日常生活会话异同的比较，力图更好地理解不同国籍人的不同思维方式，产生比较学习模式的乐趣，从而更好地学习语言。     

英语和德语情态动词对比研究

德语和英语都属于印欧语系日耳曼语族的西方日耳曼语分支,这种亲缘关系也决定了这两种语言在字母、语音词汇和语法等方面都有很大的相似性。而情态动词,以其特殊的功能和用法,可以有效地表达情态意义,促进人际沟通和交流。本文通过英语和德语情态动词用法的比较,区分两者的相同和不同之处,旨在促进学习和掌握情态动词的用法和功能,以期有助于德语情态动词的习得和人际关系的沟通。     

汉英语言差异对翻译的影响

翻译作为一种语言交际活动，其目的是为了交流信息，而英汉语言对比是翻译的一个重要环!。通过汉英语言某些主要特点与差异的比较，强调在翻译过程中，应对汉英语言的差异有所了解，以达到真正交流的目的。     

浅谈英汉翻译中的文化差异

翻译是一种语言活动,它涉及两种语言与各种知识,它用一种语言把另一种语言所表达的思想内容、感情、风格等忠实地重新表现出来.翻译同时也是使用不同语言的民族之间交流思想、进行交往的一种手段.但是不同的民族有着不同的文化背景,使译者有翻译的过程中遇到障碍.     

论文化差异对隐喻理解的影响

隐喻不仅是一种语言现象,而且是一种认知过程,是人们认识客观世界的一种方式。隐喻可分为共同隐喻和文化隐喻,在理解后一种隐喻时,文化因素起着不可忽视的作用。在中西文化因素中,不同的自然地理环境,价值观念,思维方式和文学传统都决定着人们认识隐喻的不同视角。主要根据语言、文化和思维的关系,从认知角度解释文化差异给隐喻理解造成的影响。