Micro Focus旗下AST (应用程序安全测试)产品
2023-08-19 09:40:26 396.54MB 安全测试 Fortify
1
SCA规范4.0
2023-03-20 10:14:08 3.78MB SCA规范 4.0
1
基于SCA算法的无人机通信轨迹优化算法matlab代码,完整可运行,无bug。
2023-02-15 21:49:36 3KB 无人机通信 轨迹优化 SCA
1
Fortify 详细安装使用可参考我的文章 [ 代码审计篇 ] Fortify安装及使用详解(一)Fortify安装并设置语言为中文导出中文报告 Fortify 是一个静态的、白盒的软件源代码安全测试工具。它通过内置的五大主要分析引擎:数据流、语义、结构、控制流、配置流等对应用软件的源代码进行静态的分析,通过与软件安全漏洞规则集进行匹配、查找,从而将源代码中存在的安全漏洞扫描出来,并可导出报告。扫描的结果中包括详细的安全漏洞信息、相关的安全知识、修复意见。 Fortify首先通过调用语言的编译器或者解释器把前端的语言代码(如JAVA,C/C++源代码)转换成一种中间媒体文件NST(Normal Syntax Tree),将其源代码之间的调用关系,执行环境,上下文等分析清楚。 通过分析不同类型问题的静态分析引擎分析NST文件,同时匹配所有规则库中的漏洞特征,将漏洞抓取出来,然后形成包含详细漏洞信息的FPR结果文件,用AWB打开查看。
1
如何清空matlab的代码侧通道攻击功率分析 基于Florent Bruguier工作的学校项目。 目标 本文档旨在使用差分功率分析来说明侧信道攻击,然后介绍一种实现。 概括 1- 2- 3- 3.1- 4- 4.1- 5- 旁道攻击 这个怎么运作 在现代密码术中,解密过程是二进制的。 您拥有正确的解密密钥,或者没有。 没有友好的消息告诉您,“嘿,您走对了! 继续前进!'。 旁道攻击会寻找加密过程的物理行为。 其中有很多(还有待发现): 磁场分析 声音泄漏 定时攻击 排锤 差分功率分析 本文档中将解释最后一个。 为什么存在这些攻击? 计算机安全是一个深层次的领域。 对这些攻击进行预测和建模非常困难。 每个安全层都会影响其他安全层的假设。 软件开发人员认为硬件设计师做得很好。 结果,安全故障通常涉及组件之间的意外交互。 由不同人制造的组件。 在现有模型中,无法避免发生边道攻击。 该模型在设计上易受攻击。 差分功率分析 在硬件级别上,加密算法是使用半导体和逻辑门(由晶体管制成)实现的。 这些组件的功耗可以测量。 首先,这种攻击无法在家中轻松实施。 您需要一台示波器和对所测试的处理器/芯片的
2022-11-30 23:58:45 36.35MB 系统开源
1
稀疏分量分析(SCA)源程序,内含实例验证,亲测可用
2022-11-04 21:50:23 2KB matlab 稀疏分量分析 SCA
1
fortify.lisence 已包含在压缩文件中 安装时选择解压文件中的fortify.lisence就行, 亲测可用,安装完成之后点击更新规则文件即可。
2022-09-23 11:51:49 972.6MB 源码软件 fortifysca 代码评审
1
SpringCloud Alibaba入门之Nacos(SCA).doc
2022-07-09 09:07:56 3.03MB 技术资料
CIS网络安全创新大会上面控安分享的材料,主要介绍单元测试,静态分析和软件成分分析,资料具有较高价值。
2022-06-25 14:00:17 47.55MB SCA 单元测试 静态分析
1、有数据集 2、有SCA代码 3、装好库直接运行
2022-05-30 14:07:41 4.83MB python 算法 开发语言 相关向量机