贝叶斯认证逻辑及其应用

贝叶斯认证逻辑及其应用陈晓平认证逻辑是关于证据与假设之间认证关系的逻辑。贝叶斯认证逻辑（ＢａｙｅｓｉａｎＣｏｎｆｉｒ－ｍａｔｉｏｎＬｏｇｉｃ）的特点在于，它是以贝叶斯概率公式为基本原理的。我们知道，贝叶斯公式是概率论的一个重要定理，这就决定了贝叶斯认...

高等职业教育概念的歧见分析与逻辑认证

20世纪90年代以来,我国高等职业教育进入了一个新的发展时期,但人们对究竟什么是高等职业教育并未取得一致的认识.可以说,在诸多模糊难辨的教育概念中,'高等职业教育'概念属较繁乱的一个.这不仅制约着高等职业教育科学认识活动的进行和理论体系的构建,同时也影响着高等职业教育实践工作者价值理念和行为导向的确立.因此,在高等职业教育大发展的今天,对其概念进行清理、匡正和明释,不仅具有理论意义,更有着实践上的紧迫性.

合情启动 逻辑认证——基于发现的分式活动课“比例的基本性质”教学设计

一、教材与学情分析 （一）活动分析 本数学活动是人教版（八上）“分式”一章的活动，它是对所学分式的基本性质的拓展、深化和应用，通过这一数学活动引导学生感受从特殊到一般、从具体到抽象的数学思想方法，使学生在特例验证、

基于CFL的工控系统认证通信方案

针对工控系统(ICS)中广泛采用的中心认证方案所存在的密钥泄露、单点失效、通信开销大的问题,将具有国内自主知识产权的密码基础逻辑(CFL)认证技术引入ICS的认证与通信过程中,并提出一种基于CFL的ICS认证通信方案。首先,通信双方通过交换并验证基于彼此身份标识和权限信息所生成的动态含权证书,实现双方身份的去中心认证和会话密钥的协商;然后,通过会话密钥、CFL动态签名和访问控制规则保证双方的安全通信;最后,将控制过程详细日志进行加密存储,以实现可溯源过程。理论分析和实验结果表明,所提方案在身份验证阶段不再需要远程认证中心的参与,并实现了工控设备间的本地高效认证。在面对大量认证请求时,与公钥基础设施(PKI)方案、基于身份加密(IBE)方案相比,所提方案的系统吞吐量分别至少提升了92.53%和141.37%,意味着所提方案能够更好地满足ICS的大规模认证和毫秒级安全通信的需求。

基于认证测试的安全协议分析

认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱.在认证测试概念的基础上,结合逻辑分析的优点,提出了增强型认证测试EAT(enhanced authentication test)和Correspondence函数等概念来对安全协议进行关联属性的分析,很好地解决了这一问题.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.

NSL协议逻辑化分析

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

3G移动通讯AKA协议及其形式化验证

简略回顾了移动通讯的发展过程以及相应的安全机制。介绍了第三代移动通讯系统中所采用的认证与密钥协商协议,并利用AUTLOG信仰逻辑给出了形式化验证过程。在假定HE和SN之间的系统连接安全的前提下,该协议能够成功地达到预期目标。

一种改进的A(0)协议及其形式化分析

针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力。

学校管理概念歧见分析与逻辑认证

在学校管理理论研究问题上,存在着诸多模糊难辨的概念,其中,“学校管理”概念当属最繁乱者,几乎一本书一个样,即如载入辞典的定义亦尚未统一。作为学校管理科学的逻辑起点,这一概念的分歧曾引起了许多不必要的理论争议,不仅有碍于学校管理学结构体系的科学化进程。

移动通信系统中的用户认证和密钥协商协议

为端到端保密移动通信系统设计了用户认证和密钥协商协议,该协议基于公钥密码体制。采用SVO逻辑对协议的安全性进行了形式化证明,对协议的计算复杂性进行了定性分析。分析表明,所提出的协议是安全且高效的。