安检门
安检门技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
安检门 热门资料
查看全部 500 份 →安全事件的本体建模与检测
目前安全事件知识表达各异，严重影响了安全事件的知识共享及检测。本文应用本体论，从时间、空间、功能三个不同维度对安全事件的要素以及安全事件特征、关系进行分析，建立了安全事件本体，并实现了安全事件
2024-02-12
6
基于GSPM的安全协议检验工具
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
2023-12-20
7