行业新闻

AWS Key泄露利用工具:awskeytools

准备环境linux or mac(windows不支持)python version >= 3.7 地址https://github.com/Aabyss-Team/awsKeyTools 安装解压cd awsKeyToolspip3 install -r requirements.txt

Read More

缓冲区溢出使用说明书

前言本文主要说明缓冲区溢出及其发生方式。缓冲区溢出是通过覆盖进程或程序的内存片段而发生的。覆盖进程的某些指针和寄存器的值会导致分段错误,从而导致多个错误,从而导致以...

Read More

面向计算机并发程序的形式化验证方法设计

摘 要:计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言...

Read More