位置：成果数据库 > 期刊 > 期刊详情页
基于Horn逻辑扩展模型的时间敏感安全协议验证
  • ISSN号：1000-1239
  • 期刊名称：《计算机研究与发展》
  • 时间：0
  • 分类：TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]国防科学技术大学计算机学院,长沙,410073 国防科学技术大学计算机学院,长沙,410073 北京航空航天大学计算机学院,北京,100083 国防科学技术大学计算机学院,长沙,410073
  • 相关基金：国家自然科学基金项目(90104026,60473057,90604007)
作者： 周倜[1], 李梦君[1], 李舟军[1], 陈火旺[1]
关键词： 安全协议, 扩展的Horn逻辑模型, 时间敏感, 约束条件, 形式化验证
中文摘要：

分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提出了带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证方法,并给出了相应的定义和定理,使得带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证能够分析依赖时间的安全协议的安全性质.通过在验证中加入时间约束条件,得到了大嘴青蛙协议的攻击序列,并可从约束条件中导出避免攻击的条件.

同期刊论文项目
含代数运算和时间特征的安全协议分析与验证
期刊论文 25 会议论文 9
安全协议的形式化描述和分析
期刊论文 11
基于进程代数的复杂安全协议的形式化分析与验证
期刊论文 36 会议论文 8
同项目期刊论文
安全协议逻辑程序不停机性快速预测的动态方法
安全协议的扩展Horn逻辑模型及其验证方法
SPVT：一个有效的安全协议验证工具
基于Horn逻辑扩展模型的安全协议反例的自动构造
一门新的面向构件语言
Modeling Electronic Payment Systems Based on Dynamic Game
基于J2EE的电子口岸系统总体应用架构
安全协议逻辑程序不停机性快速预测的动态方法
基于Horn 逻辑扩展模型的安全协议反例的自动构造
用描述逻辑进行语义Web服务组合
公钥Kerberos 协议的认证服务过程的建模与验证.
使用组合协议逻辑PCL 验证Amended Needham-Schroeder协议
ACUN理论一般合一化问题的合一化算法
安全协议的进程代数规约到逻辑程序的自动转换
基于Horn 逻辑扩展模型的时间敏感安全协议验证
基于抽象解释理论的程序验证技术
基于动态博弈描述的电子商务协议公平性
安全协议的扩展Horn逻辑模型及其验证方法
基于面向服务架构的网上支付安全体系研究与实现
基于双难题的环Z_n上圆锥曲线的数字签名
安全协议分析中参与者个数上确界的论证
基于Horn逻辑扩展模型的安全协议反例的自动构造
一种基于线索化二叉排序树的数据流挖掘的决策树分类新算法
蛋白质相互作用研究中的计算方法综述
二进制立方形递归网络的拓扑结构
时间敏感的安全协议建模与验证：研究综述
一门新的面向构件语言
基于Horn 逻辑扩展模型的时间敏
安全协议的扩展Horn逻辑模型及其
用描述逻辑进行语义Web服务组合
一种关于语义Web服务匹配的策略
整合Agent与语义Web服务
篇章中的消解问题与消解算法：研
SPVT:一个有效的安全协议验证工
一种基于抽象解释理论和通用单调
ACUN理论一般合一化问题的合一化
基于进程代数的安全协议验证消解
自由访问控制的安全性：研究综述
基于Horn 逻辑扩展模型的安全协
基于抽象解释理论的程序验证技术
基于Ontology的Web服务组合方法
语义Web服务的自动化组合方法：
Modeling Eletronic Payment Sys
安全协议的进程代数规约到逻辑程
基于动态博弈描述的电子商务协议公平性
安全协议的扩展Horn逻辑模型及其验证方法
SPVT：一个有效的安全协议验证工具
一种新的电子商务协议分析方法
对一个基于身份的密钥协商协议的分析与改进
基于面向服务架构的网上支付安全体系研究与实现
基于双难题的环Z_n上圆锥曲线的数字签名
安全协议分析中参与者个数上确界的论证
基于Horn逻辑扩展模型的安全协议反例的自动构造
一种基于线索化二叉排序树的数据流挖掘的决策树分类新算法
蛋白质相互作用研究中的计算方法综述
二进制立方形递归网络的拓扑结构
时间敏感的安全协议建模与验证：研究综述
一门新的面向构件语言
Modeling Electronic Payment Systems Based on Dynamic Game
基于J2EE的电子口岸系统总体应用架构
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349