A Logic based Network Security Analyzer

MulVAL:基于逻辑推理的攻击图生成及风险评估工具

发布于 Research

攻击树/图技术总结 😈⃤

感知和理解网络攻击是一项困难的任务,需要借助有效的技术手段来加以辅助

发布于 Research

Datalog - declarative logic programming language

翻译自 Introduction to Datalog

发布于 Research

使用 Golang 实现的简易 Redis 🔨

使用 Go 语言基于 Redis serialization protocol (RESP) 实现简易的 Redis

发布于 Golang

IEEE S&P 2024 - 对车载攻击面的重新审视

论文阅读:《Revisiting Automotive Attack Surfaces: a Practitioners’ Perspective》

发布于 Research

Windows Subsystem for Linux (WSL) 🪟

“适用于 Linux 的 Windows 子系统 (WSL) 可让开发人员直接在 Windows 上按原样运行 GNU/Linux 环境,且不会产生传统虚拟机或双启动设置的开销。”

发布于 Linux

Go 底层原理与源码初探 👾

学习 Go 的底层原理

发布于 Golang
123457