密码协议分析的逻辑方法及其哲学意蕴

逻辑方法是密码协议分析中具有代表性的形式化方法.从已有文献的技术成果出发,以经典的类BAN逻辑作为主要对象,把逻辑方法在密码协议分析上与经验方法和计算方法分别进行比较.通过这种比较,分析了类BAN逻辑方法在分析结论的全面性、可操作性方面所具有的优势以及在有效攻击的构造和分析结论可信度上的局限性,以及从参与分析的主体角度分析了类BAN逻辑方法在协议分析上的主体特征.除了这种比较分析,也试图在计算主义框架下提供类BAN逻辑方法应用于密码协议分析的哲学基础,并给出了方法论上的启示.     

基于BAN逻辑分析Otway-Rees协议

Otway-Rees协议主要功能是完成身份的双向认证,本文探讨了形式化分析在设计密码认证协议中的作用C基于Otway-Rees协议,用BAN逻辑对它进行形式分析,指出形式分析可以辅助发现协议的设计缺陷。     

注意缺陷障碍儿童的两种亚型

本文对注意缺陷障碍（ＡＤＤ）研究的历史进行了回顾,对ＤＳＭ－Ⅲ、ＤＳＭ－Ⅲ－Ｒ、ＤＳＭ－Ⅳ中ＡＤＤ的分类和诊断标准的变化进行了分析。从行为、情感、社会性、学习、认知神经等方面对ＡＤＤ儿童的两种亚型——ＡＤＤｎｏＨ和ＡＤＤＨ儿童进行了比较,支持ＤＳＭ－Ⅳ中对这两种亚型所作的区分     

推类逻辑:中国古代逻辑的原型(上)

从古文献考察,中国古代的推理类型是“推类”。推类的内在机制是“类同理同”,在此约束条件下,其逻辑性质是“必然得出”的。推类的逻辑有两个传统,一个是以墨家逻辑为代表的论辩传统;另一个是以易学逻辑为代表的预测、推知传统。推类逻辑是华夏文明的结晶和科学求知的方法,是人类思维宝库中的璀璨瑰宝和人类思维方式创新的宝贵资源,在发扬中华优秀文化的今天,应当对它予以关注和发掘。     

基于SVO逻辑的SNMP协议的改进及形式化分析

SNMP协议是常用的网络管理协议,文章首先对该协议进行了抽象,以方便构建逻辑语句,并对抽象后的协议进行分析,找到该协议存在的缺陷。针对缺陷做了改进,再利用SVO逻辑对改进后的协议进行分析,验证了改进的有效性,并通过网络抓包的方式证实了这一结论。     

语音缺陷的生成类和评判类论析

从生成形态看，语音缺陷有“空间缺陷”、“强度缺陷”和“时间缺陷”之分，亦有“点缺陷”、“线缺陷”、“面缺陷”和“体缺陷”之别。从评判实践看，语音缺陷在分布、数量、性质、程度、形式、频率及测试的语音形式、测试的题项要求上存在同类别的内部差异。语音缺陷的生成类是评判类的基础，评判类是对生成类的发展应用。     

论墨家逻辑思想中的类概念

类是墨子逻辑学最重要的一个逻辑范畴,从某种意义上可以说是墨子逻辑学的一个核心范畴,墨子的逻辑学是以它为核心展开的。研究类概念的形成和墨家逻辑思想中类概念的发展直接关系着逻辑科学产生和形成的过程。     

先秦科学方法论与推类逻辑

“类”、“故”、“理”这三个范畴,是先秦科学方法论的高度概括和浓缩。墨家最先提出“类”、“故”、“理”三个范畴并以之作为推类的逻辑法则。古代中国人重“实”,突出地表现为强调用实践效果或实际效用来证明某种思想、理论或知识是否为“真理”。这种“效验”论,实质是中国古代的科学证明论,其逻辑方法就是墨家提出的“效”式推理。     

关于晶体中点缺陷浓度分布的研讨

本文在热缺陷产生的动力学理论的基础上,分别对肖脱基缺陷和夫伦克耳缺陷的浓度分布作了进一步讨论,并分别得出了它们的浓度分布公式．     

儿童注意缺陷多动障碍的学校干预研究回顾

回顾了国内外关于学校开展儿童注意缺陷多动障碍(简称ADHD)干预的研究,对ADHD的治疗和干预研究现状以及学校开展干预的措施进行了总结,其中包括单项干预措施和综合干预措施。最后作出结论,相对其他ADHD干预,学校干预对于改善ADHD学生的人际交往以及提高其学业成绩更具有优势。     

翻译中的深层逻辑语义失误剖析

翻译是原语表层逻辑关系到深层逻辑语义再到译入语表层逻辑关系的转换过程。若仅仅是从原语表层逻辑关系到译入语表层逻辑关系的转换,就会造成翻译失误。要把一种语言文字的意义用另一种语言文字表达出来,译者须透过原文的表层逻辑关系,分析原文内在的、隐含的逻辑语义,再用符合译入语习惯的表达方式将这种深层逻辑关系显现出来。     

对“僵尸企业”问题的逻辑分析

基于当前学术界对"僵尸企业"问题的讨论,提出政府、金融机构和企业的三方博弈以及优惠的利率是"僵尸企业"问题的逻辑起点。以这种逻辑起点为推理依据,分析"僵尸企业"的特征、识别模型、危害、形成机理,并在此基础上,针对"僵尸企业"的治理逻辑,提出清理"僵尸企业"的建议措施。     

跆拳道概念的逻辑分析

跆拳道概念是研究跆拳道理论和实践的基础,跆拳道概念及相关术语的规范与丰富对研究跆拳道理论与实践具有重要的学术意义,同时也能继续促进跆拳道项目的发展。本文采用文献资料法、逻辑分析法对跆拳道概念认识进行了辨析,论述了跆拳道的溯源发展,分析了目前跆拳道概念存在的问题,并用逻辑学中的“属加种差”定义法对跆拳道的概念进行了重新界定。     

NSL协议逻辑化分析

逻辑化方法是当前分析密码协议安全性的重要方法．本文通过运用一种新的认证逻辑系统，给出NSL认证协议的形式化分析证明，并提出协议改进方案．     

浅析虚无主义思想的历史逻辑

虚无主义是人对现实世界不断否定、批判达到的逻辑后果.它不仅包括哲学对现实世界的否定、批判而造成的世界的虚无化,也包括哲学在否定之后于"虚无"之上重建"真实世界"的努力.西方哲学与虚无主义存在一定的历史关联,在这种紧密的关联中,虚无主义依据内在逻辑不断演进.     

类比发现法在中学数学研究性学习中的运用

从数学思维方法角度，阐述了运用类比发现法促进学生数学研究性学习需要注意的问题，并通过实例探讨了类比发现法在数学研究性学习中的运用。     

亚里士多德关于命题主词的逻辑分析

在亚里士多德逻辑学视野中,任何一个命题,它的主词总是有所指的,或者指称客观域里的对象,或者指称非客观的虚拟域里的对象。亚里士多德确信:命题之间的反对关系以及矛盾关系能够在任一世界成立,无论命题主词所指对象是否在这个世界里存在。     

以立党之本、执政之基、力量之源解读党建的内在逻辑

中国共产党从诞生到长期执政,其间世情、国情、党情都发生了巨大的变化,党建成为一项新的伟大工程。在党建过程中,通过对立党之本、执政之基、力量之源的分析,可以清晰地看出党建的内在逻辑:立党之本是核心、执政之基是第一层外延、力量之源是第二层外延。只有加强这三方面的建设,我党才能成为不断建设、完善、成熟的政党。     

试析在自然逻辑与不自然逻辑中对蕴涵的刻画

正如罗素认为整个逻辑都是建立在蕴涵理论基础之上一样,我们也肯定蕴涵是逻辑学最重要的概念,首先介绍不同的蕴涵定义,说明了实质蕴涵是对假言命题在真值意义上的抽象,而建立在实质蕴涵基础上的逻辑蕴涵,是以不自然的方式刻画逻辑学中最重要的"推出关系"或者"后承关系",从而引起种种误解。其任务就是要在区分这两种具有不同含义的蕴涵的基础上,进一步研究不自然逻辑中的蕴涵概念,澄清各种对蕴涵的误解。     

比较逻辑学的学科框架初构——从逻辑与文化的关系角度看

比较逻辑研究的范围是相当宽泛的,不仅包括古代、近代、现代的逻辑之间的纵横比对、内在汇通,而且包括世界三大逻辑传统的透视性比较.比较逻辑学应当是建基于各种逻辑学科之上的一门综合性理论学科,它以三大逻辑体系的平等对话为前提,突出比较意识、比较思维与比较方法的自觉运用,有自己特有的学科特性与学科视域、学科范畴.本文试图论证比较逻辑不在于"比较",而在于"汇通";"比较逻辑"不是或不仅仅是"逻辑比较";比较逻辑有其特殊的"比较视域",从而进一步论证"比较逻辑学"成为一门独立学科的可能性.