本文为多智能体系统定义了一个称之为知识结构的逻辑框架，来进行智能体的知识推理.在知识推理过程中，使用”变量忘记”(VariableForg......

安全协议是保证网络安全的重要技术之一，但安全协议自身的缺陷，往往会导致很严重的安全问题。如何验证安全协议能否实现其安全目标，成......

安全协议,是指在通信协议中应用密码学的手段隐藏或获取信息,达到认证以及消息正确发送的目的的协议。而随着互联网的迅猛发展,安......

　　模型检测技术在安全协议验证领域取得了很大成果，但是存在状态空间爆炸问题。已经提出的小系统理论从理论上有效地解决了这个问......

基于完美加密机制前提及D-Y攻击者模型,指出注入攻击是协议攻击者实现攻击目标的必要手段。分析了注入攻击及其形成的攻击序列的性......

安全协议的验证是个不可判问题.为了对实例化空间逻辑ISL的语义表达能力给出理论上的衡量与评价,选择另一种实用的协议组合逻辑PCL......

Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法,这些方法是非常有效的，能用于验证许多具有极大状态空间的实......

提出一种基于类型推理的移动Ad-Hoc网络安全路由协议的形式化验证方法．定义了一种邻域限制通信演算NCCC（neighborhood-constrained c......

文章提出一种基于状态空间演化的网络安全协议执行验证技术,实现对全局安全协议执行的验证。经分析表明,该技术可以做到及时发现入......

安全协议模型是安全协议分析与验证的基础，现有的建模方法中存在着一些缺点，如：建模复杂、重用性差等．为此提出了一种类型化的π演算：π......

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化,并比较了这两种安全协议验证......