只为小站
首页
域名查询
文件下载
登录
首页
带有异或运算安全协议的自动化检测
带有异或运算安全协议的自动化检测
上传者:
38617413
|
上传时间: 2024-03-22 22:58:55
|
文件大小: 200KB
|
文件类型: PDF
首发论文
带有异或运算安全协议的自动化检测,杨元原,马文平,针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#。该模型检测器通过引入抽象异或项�
文件下载
立即下载
评论信息
其他资源
基于 STM32 的多路AD采集程序 使用DMA
ISO15765及14299协议
遗传算法和蚂蚁算法的融合
Altera PCIe学习笔记(Cytech)
GAN程序matlab仿真
echarts-4.3.zip完整版
51单片机通过蜂鸣器实现电子琴7个音,一个按键控制一个音。protues仿真和程序
2009-2018年系统架构设计师历年真题与答案详解(群内部版本).rar
MediaCreationToolx64
eric6 17.12版本及汉化文件.zip
合工大数据结构,计算机组成原理,850考研专业课参考
好看的prezi模板
CISSP官方备考及续证指南
Terraform模板:用于部署基础结构的Terraform模板-源码
VFP微信、支付宝扫码支付源码.rar
WeSing.exe
1.2_Informix性能调优精要(20110702)-中文+yifa.pdf
使用异步方式查询数据库记录
医院管理系统源码
Churrasco.exe+nc.exe+http.exe
QT编写的RTSP播放器,各QT版本可完整编译运行
core-3.0.0.jar QR二维码3.0 版本,Java生成二维码。
《MFC程序开发参考大全》pdf和代码
AMS1117中文规格书
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
copula程序及算法.zip
Plex v7.12电视端app
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
ios无人直播 虚拟视频实用版 可以导入视频
王万良-人工智能导论(第五版)课件
基于matlab的车牌识别系统设计
多目标微粒子群算法MOPSO MATLAB代码
商用密码应用与安全性评估——霍炜.pdf
IEEE33节点配电网Simulink模型.rar
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
基于yolov4-keras的抽烟检测(源码+数据集)
DS证据理论的MATLAB案例程序源代码
android开发期末大作业.zip
最新下载
基于harris角点的图像拼接程序
施乐105B故障检测工具
AIX jdk1.7 r1
qt-opensource-windows-x86-msvc2010-5.5.1.exe
山东大学的指静脉数据库
HH-SLOPE土石坝边坡稳定分析软件
hadoop-2.6.0-cdh5.16.2的压缩包.rar
C# chrome内核浏览器,测试完美,本人环境vs2015,内附有demo
《新编电气工程师手册》全3册[PDF]
软件开发文档范例