位置：成果数据库 > 期刊 > 期刊详情页
安全协议验证的归纳方法与串空间形式化比较
  • ISSN号：1000-1239
  • 期刊名称：《计算机研究与发展》
  • 时间：0
  • 分类：TP311.1[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]中山大学计算机科学系,广州,510275
  • 相关基金：国家自然科学基金项目(60673050)
作者： 乔海燕[1]
关键词： 安全协议验证, 归纳方法, 串空间, 类型论
中文摘要：

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

同期刊论文项目
基于双代数的对象行为规范及其应用研究
期刊论文 9 会议论文 10
同项目期刊论文
QoS Specification in Software Architecture for QoS-aware Applications
基于节点聚类的可伸缩多应用无线传感器网络模拟
事件驱动算法演示技术的面向方面实现
中介者模式的面向方面实现
在AOP中使用标注改进日志功能的实现
算法演示系统研究与应用
ePet: A Physical Game Based on Wireless Sensor Networks
H-TOSSIM: Extending TOSSIM with Physical Nodes
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路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