可达性 | CN-SEC 中文网

安全工具

实例介绍密码协议形式化验证工具ProVerif

1. ProVerif 介绍ProVerif是一款基于 Dolev-Yao 模型的密码协议形式化验证工具。由Bruno Blanchet开发并开源。ProVerif 能够用于处理各种密码学原语，包括对...

05月27日15 views评论

安全新闻

一、漏洞洪峰时代：安全工程师的至暗时刻2023年全球新增漏洞数量突破40万大关，平均每3分钟就有一个漏洞被武器化利用。传统基于CVSS评分和SLA的漏洞管理策略已全面失效：image数据暴增：漏洞总量...

02月11日30 views评论

垃圾回收算法中主要有两种算法判定哪些对象是否可达，哪些可以被回收。它们分别是引用计数法、可达性分析法。重点介绍了三色标记法，它是可达性分析算法的一种具体实现策略。三色标记法是一种改进的标记过程，用于实...

11月06日安全开发5 views评论

安全新闻

Crypto-Agility? 你认真的吗？在最新的 Gartner Hype Cycle中，我很惊讶地看到漏洞的“可达性分析”出现在头部前列。并且，它霸榜的时间比其他很多技术都要久；然而，我看到最新...

09月27日48 views评论

供应链安全

目录一、静态 SCA 工具的“警报疲劳” 二、运行时 SCA - 供应链安全新视角三、运行时 SCA 实践方案四、结语本文字数：5188 ，阅读时长：13分钟一、静态SCA工具的“警报疲劳”...

02月23日73 views评论

安全开发

‍‍0x1 本周话题话题：开源组件漏洞的可达性或实际可利用性分析识别，大家有什么落地实践或经验吗？即使是商业版sca很多也只是照搬公开漏洞库做简单的版本匹配。A1：今年rsa沙盒有一家的产品说是可以跟...

09月26日51 views评论

信息情报

点击下方小卡片关注情报分析师根据官方数据，墨西哥有100，000多名失踪人员。自2007年以来，由于使用武装部队打击该国与毒品有关的活动，这些案件中的大多数（80%）已被记录在案。联合国强迫失踪问题委...

11月23日38 views评论