首页> 中文期刊>计算机科学 >基于经典逻辑的安全协议模型检测方法

基于经典逻辑的安全协议模型检测方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文分别以安全协议模型检测器SATMC和ProVerif为例,介绍了基于经典逻辑的安全协议模型检测两种方法:SAT方法和归结方法,并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV.

著录项

来源
《计算机科学》|2008年第6期|20-24|共5页
作者
徐畅; 刘吉锋; 孙吉贵;
展开▼
作者单位

吉林大学计算机科学与技术学院,长春130012;

吉林大学符号计算与知识工程教育部重点实验室,长春130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
安全协议; 模型检测; SAT求解; 归结;
入库时间 2022-08-18 04:39:23

相似文献

中文文献
外文文献
专利

1. 基于有色Petri网模型的安全协议检测方法 [J] . 吴瑞龙 ,李陶深 . 微电子学与计算机 . 2006,第3期
2. 基于SIMI模型的S7协议的实时异常流量检测方法 [J] . 陈曦 ,姜亚光 ,李建彬 . 电子技术应用 . 2020,第008期
3. 基于改进遗传算法和隐Ma rko v模型的协议异常检测方法 [J] . 邱卫 ,杨英杰 ,汪永伟 . 计算机应用研究 . 2016,第004期
4. 基于改进DNS协议的移动网络支付安全通信协议模型 [J] . 魏星 . 电子科技 . 2021,第009期
5. 基于安全协议操作语义模型的组合协议分析及验证 [J] . 高三海 ,董荣胜 . 桂林电子科技大学学报 . 2007,第005期
6. 基于petri网模型的传感器网络安全协议形式化分析及安全性证明 [C] . Yingjiu Guo ,郭迎九 ,Xuemei Liu . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 基于HCPN模型检测方法的BACnet协议形式化安全评估与改进 [A] . 姜筱彦 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号