位置：成果数据库 > 期刊 > 期刊详情页
基于Prolog的安全协议在线自动化分析
  • ISSN号：1001-3695
  • 期刊名称：《计算机应用研究》
  • 时间：0
  • 分类：TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]浙江工业大学软件学院,杭州310032, [2]北京航空航天大学软件开发环境国家重点实验室,北京100083
  • 相关基金：国家自然科学基金资助项目（60673080,60773115）;国家“863”计划资助项目（2006AA01Z235）;浙江省自然科学基金资助项目（Y106290）;浙江工业大学校基金资助项目（20060022）
作者： 陈铁明[1,2], 张杰[2], 蔡家楣[2]
关键词： 形式化, 串空间, 参数串, 约束消减, Prolog, formal method , strand space, parametric strand , constraint elimination, Prolog
中文摘要：

基于串空间理论和约束消减方法，提出安全协议可达性分析模型；采用Prolog实现模型自动推理，利用XSB的Java接口实现基于Web的自动分析工具。

英文摘要：

This paper introduced a security reachability analysis model based on the strand space theory and the constraint elimination method. Then proposed a Prolog-based automatic reasoning scheme. At last, described a Web-based on-line automatic analysis implementation utilizing the Java interface of XSB （ a prolog interpreter）.

同期刊论文项目
　面向自组织网络的安全接入、认证、服务质量控制和监测技术研究
期刊论文 15
基于交互神经网络的新型密码协议研究与设计
期刊论文 8 会议论文 3
适用于无线传感器网络的轻量级密钥管理机制
期刊论文 25 会议论文 8 专利 4
同项目期刊论文
神经网络密码学研究综述
身份公钥加密体制及密钥管理协议
基于Prolog的安全协议在线自动化
基于神经网络互学习模型的密钥协
基于身份公钥体制的邮件加密代理
网络安全协议的综合教学实践研究
神经密码协议模型研究
Multiple layered tree parity machine learning model for informationsynchronization
IBE-XKMS:一个基于XML的IBE密钥管理服务体系
椭圆曲线密码体制在WSN上的应用
无线传感器网络上基于Tate对的身份认证方案设计与实现
Quick feature selection method and its application on network intrusion detection
一种基于神经网络权值同步的TinySec协议密钥更新方案
TinyIBE:面向无线传感器网络的身份公钥加密系统
Research on neural cryptographic protocols
基于双线性对的可认证密钥协商协议
一种新的快速模糊规则提取方法
Integrated knowledge-based modeling and its application for classification problems
TinyTCSec:一种新的轻量级无线传感器网络链路加密协议
神经密码协议模型研究
基于推理的上下文感知RBAC模型设计和实现
树型奇偶机模型及其在无线传感器网络密钥管理中的应用研究(英文)
Web动态口令登录新方法设计与实现
一种保证时延的关键流路由调整算法
改进的资源限制流抽样算法
IPTV关键技术分析及前景展望
IPv6可用带宽测量方法的设计与实现
基于ACE／TAO的分布式网络测量管理平台的研究与实现
一种新的IPv6网络带宽测量方法
基于混沌理论的网络流量性能评估
OSPF路由监测系统
A Load-balance and EEDF based strategy for reducing transmission delay of VoIP services in IEEE 802.16e system
一种适用于令牌桶限速链路的瓶颈带宽测量方法
自组织网络的元指标体系
Network traffic prediction by a wavelet-based combined model
Chaotic Control of Network Traffic
期刊信息
  • 《计算机应用研究》
  • 北大核心期刊（2011版）
  • 主管单位:四川省科学技术厅
  • 主办单位:四川省计算机研究院
  • 主编：刘营
  • 地址：成都市成科西路3号
  • 邮编：610041
  • 邮箱：arocmag@163.com
  • 电话：028-85210177 85249567
  • 国际标准刊号：ISSN：1001-3695
  • 国内统一刊号：ISSN：51-1196/TP
  • 邮发代号:62-68
  • 获奖情况:
  • 第二届国家期刊奖百种重点科技期刊,国内计算技术类重点核心期刊,国内外著名数据库收录期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:60049