只为小站
首页
域名查询
文件下载
登录
首页
论文研究-安全协议验证模型的高效自动生成.pdf
论文研究-安全协议验证模型的高效自动生成.pdf
上传者:
38743506
|
上传时间: 2022-12-27 20:46:57
|
文件大小: 892KB
|
文件类型: PDF
论文研究
为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法“网络安全协议验证模型生成系统”,该系统可高效地对安全协议进行分析与验证,系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率,有效地缓解了模型检测过程中的状态爆炸问题。
文件下载
立即下载
评论信息
其他资源
PSO优化SVM参数
驻定相位原理推导线性调频信号的频谱及Matlab仿真
基于STM32单片机的智能浇水系统.pdf
Workbench电磁热耦合分析流程说明.pdf
labview写的CRC-16程序
matlab代码-雷达脉冲压缩及多普勒处理
今日版式设计 超越平凡的平面设计
mapcurrent.rar
最新UnityPDF阅读器PDF Renderer_v4.11.rar
小兔子pcd点云数据(pcl官方案例1)
spire.doc.rar
京东应用架构设计.zip
docker-compose.yml
MySQLWorkbench.exe
wincc标准和内部函数(书签版)
浮动爱心界面表白(附代码)
简单实现基于Qt5的音乐播放器
matlab的雷达模型
Python-基于pygame和tkinter本地音乐播放器软件
2016-2017操作系统高级教程试题
Java版数据结构与算法视频教程(44集版),附源码资料
ojdbc14jar的下载
根据学生课程表安排学生值班的学生值班安排软件
Paragon HFS for Windows
网络安全等级保护测评要求 第1部分:安全通用要求
一种小脑模型神经网络及其仿真研究
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
2010年-2020中国地面气候资料数据集(V3.0)
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
数字图像处理[冈萨雷斯]
多智能体的编队控制matlab程序(自己编写的,可以运行)
python大作业--爬虫(完美应付大作业).zip
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
基于matlab的车牌识别系统设计
scratch版 我的世界.sb2
基于matlab扩频通信系统仿真(整套代码)
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
科研伦理与学术规范 期末考试2 (40题).pdf
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
MAC OS.X.10.8.iso 镜像文件
大唐杯资料+题库(移动通信)
最新下载
python+djiango+mysql电子产品商城网上购物项目源码
三星SCX-3200_SCX3201清零软件V13解决红灯加粉不打印
tif遥感数据.zip
U812免狗补丁
自动售货机ITL纸币器升级工具NV11新升级1112.rar
物流管理系统和ERP原型界面
SIΠ信号完整性与电源完整性分析(second Edition)
基于stm32的风力摆控制系统设计(原理图+源代码+设计报告等)
分支限界法之最小重量机器设计问题.zip
《白帽子讲Web安全》.pdf