类BAN逻辑的缺陷分析

类BAN逻辑是密码协议分析和设计的主要工具,文章在分析了类BAN逻辑之后,指出了这些逻辑的缺陷,并对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。     

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

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

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

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

博弈逻辑中的逻辑推理

博弈逻辑是博弈论和逻辑学相交叉的一个崭新领域,属于应用逻辑范畴,研究理性的主体互动行动中的推理过程,即研究博弈中的逻辑推理问题。     

关于“金规则”的逻辑分析

应用现代逻辑方法分析研究我国古代传统思想文化,挖掘、阐释其深刻意蕴,具有重要学术价值.我国古代思想家孔子提出的“己所不欲,勿施于人”,作为一个古老的基本道德准则,得到人们普遍公认.国内外学术界普遍将这个准则称为道德“金规则”.近年来,对这个道德准则提出了一些不同看法,有观点认为,从这个准则会推出一些不适当的结论,甚至会产生逻辑矛盾,因此它不能成为具有普世价值的道德“金规则”.应用现代逻辑方法对这个道德基本准则进行严密的逻辑分析,得出的结论是,这个道德准则是成立的,不会推出不适当的结论,也不会产生逻辑矛盾,它是一个具有普世价值的道德“金规则”.     

墨家逻辑与亚里士多德逻辑的形式化和非形式化问题

非形式化是墨家逻辑的主要特点,而亚里士多德逻辑的主要特点是形式化.形式化注重精确性、系统性,但也比较远离现实生活;而非形式化则紧密联系日常语言,但也有明显缺陷.当前逻辑学发展既要注重形式化研究,也要注重非形式化研究.     

基于Hash函数的RFID双向认证协议

为了改善RFID无线传感网络中读写器与标签之间安全隐私容易泄漏的问题,在现有安全协议研究基础上,提出一种改进的RFID双向认证协议。该协议包含读写器、电子标签双重认证,通过安全性检测可以有效抵御重传攻击、窃听、位置跟踪、非法读取以及假冒攻击等不安全问题,具有成本低、效率高、安全性好等优点。通过对协议建立理想化模型,利用BAN逻辑形式化分析方法从理论上证明其安全性。通过软件仿真模拟RFID系统,对读写器和标签的双向认证进行仿真测试,证明了协议的实用性。     

逻辑真与逻辑推理的有效性

真的概念在逻辑学研究中有着十分重要的地位.逻辑学的任务就是探寻逻辑真理.从对逻辑真和事实真的区分入手,正确认识和把握逻辑真理,探讨逻辑真与逻辑推理的有效性.     

中国大学生英语写作中的逻辑谬误分析

作者结合大学英语高级写作的教学经验,对大学三年级学生的一篇英语作文中出现的逻辑谬误进行分类和分析,指出逻辑谬误作为写作中的言外错误极大影响作文的说服力,大学英语写作教学中应加强培养学生的逻辑推理能力。     

关联理论中的逻辑

本文主要分析逻辑推理在关联理论翻译原理及模式的应用，提出共有知识是预设与关联理论的相通点，强调一阶逻辑基础工具的作用。     

TRIAD PHILOSOPHY AND TRIAD SCIENCE BASED ON TRIAD LOGIC

ＩＮＴＲＯＤＵＣＴＩＯＮＩｎｐａｓｔｐｈｉｌｏｓｏｐｈｙａｎｄｓｃｉｅｎｃｅ ,ｄｕａｌｐｈｉｌｏｓ ｏｐｈｙｏｒｄｉｃｈｏｔｏｍｙｗａｓｅｍｐｈａｓｉｚｅｄ .ＡｎｄｗｈｅｎＩｓｙｓｔｅｍａｔｉｚｅｔｈｅｔｒｉａｄｔｈｏｕｇｈｔｓ,Ｉｃａｎｉｎｔｒｏｄｕｃｅｔｒｉａｄｐｈｉｌｏｓｏｐｈｙａｎｄｔｒｉａｄｓｃｉｅｎｃｅｂａｓｅｄｏｎｔｒｉａｄｌｏｇｉｃ.ＴｒｉａｄｐｈｉｌｏｓｏｐｈｙａｎｄｔｒｉａｄｓｃｉｅｎｃｅａｒｅｃｏｎｔｅｍｐｏｒａｒｙｄｅｖｅｌｏｐｍｅｎｔｓｔｈａｔｐｅｎｅｔｒａｔｅＷｅｓｔ ｅ…     

从班昭的文学创作看其道家思想

班昭是东汉女性文人的代表人物。因学术界多认为她是儒家,故很少有人研究她的道家思想。文章采用文献分析的方法,深入探究班昭的学术渊源及其道家思想。结论认为：班昭的作品流溢出浓郁的重视生命、崇尚道德、复归人性等道家思想的人生,情怀,展示了她“清心寡欲式”的人生观,奠定了其为文的平典之美。同时,道家思想虽是班昭思想的一个重要组成部分,但尚未成为其主导思想。     

法官的逻辑与经验--兼论法律推理

法官审理案件时,在适用法律的方式上有逻辑演绎和经验判断之分,这与他们在具体案件审理时所进行的不同的法律推理有关.法律推理有形式法律推理和实质法律推理两种.我国是成文法制国家,在法律推理的适用定位上以形式法律推理为主,以实质法律推理为补充.     

国内学术界资本逻辑研究综述

资本逻辑是学术界研究的热点话题。梳理和归纳学术界有关资本逻辑的研究成果,并从基本内涵、表现形态、具体效用与现实启示四个方面具体展现资本逻辑的四个问题,即是什么、什么样、怎么用和怎么办。     

论马克思辩证逻辑思想产生的思想渊源

马克思的辩证逻辑思想产生于对黑格尔哲学及其流派思想的批判,其思想渊源主要涉及以下几个方面：关于“二律背反”的思想;关于“异化”、“否定”与“扬弃”的思想;关于“个别”与“一般”的思想;关于“概念的前运动”的思想。     

试析形式逻辑的前提问题

长期以来,人们对形式逻辑的前提问题存在着误解,认为形式逻辑不管自己的前提,也无法解决自己的前提来源。其实,亚里士多德在创制形式逻辑时就已经深刻论述了这一问题,他把直观和归纳法作为形式推理的前提来源。后来的归纳逻辑和辩证法对形式逻辑前提问题所作的批判都是基于对亚里士多德这一思想的忽略,而且它们也都未能解决自身的前提问题,归纳逻辑不能证成自身的合理性,辩证法不能解决结论的可检验性。其实,无论形式逻辑、归纳逻辑还是辩证法都是人类认识事物的一种方式,它们共同服务于人类的实践,它们之间是互相补充关系,而不是互相取代关系。     

试论东汉班昭的妇女价值观

东汉前期儒学的空前兴盛，班氏世代业儒的家学及贵族官僚家庭的严格家训，为班昭学业的取养和她人生价值观念的形成，提供了充足的客观条件；她中年以后政治地位的显著提高，使她的利害得失与统治者的政治命运紧密关连，与统治者的思想感情息息相通。因而，她全然认同了践踏女性人格、权益的封建纲常礼教，而编拟出中国历史上第一篇贯彻这种礼教的“妇德”教材——《女诫》，客观上为封建礼教的传播推波助澜，给中国传统社会妇女的命运造成了恶劣的影响。     

推理关系形式化产生的问题及哲学思考

推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理,推理的这种双重角色决定了对推理进行形式化就会产生“怪论”。虽然“怪论”难以消除,但在一定条件下也是可以消除的。既然推理如此特殊,我们只能通过扩充逻辑种类的方法间接完成对推理的刻画,应该抛弃狭义的逻辑观,使数理逻辑的优势发扬光大。     

论文学语言的诗性逻辑

由于文学语言的使用遵循不同于日常逻辑的诗性逻辑,从而才能产生出文学艺术有别于其他文化形态的审荧性特征。文学语言的这种诗性逻辑特征包括意象性、变焦性、语境性、断定压力的松缓性和悖论性。     

基于.NET的试卷分析系统

试卷分析是教学环节中不可缺少的部分,它可以反映出学生的学习情况。传统的试卷分析方式不仅存在效率低的问题,而且极大地增加了老师们的工作量.。NETY系统是运用V isual C#2005开发出的一个操作简单、方便快捷的试卷分析系统。该系统不仅实现试卷分析所需各项数据的添加、修改、删除、查询操作,还可以根据学校的试卷分析指标生成最终的试卷分析结果。系统使用SQL EXPRESS创建数据库,使用ADO.NET数据库访问技术实现对数据库的访问。