欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐安全
小 (→服务) |
小 (→服务) |
||
| 第149行： | 第149行： | ||
* Regulatory Compliance（合规性） | * Regulatory Compliance（合规性） | ||
* Cloud Security Monitoring（云安全监控） | * Cloud Security Monitoring（云安全监控） | ||
| − | * [[Container]] Security（容器安全）[https://www.armosec.io/ Kubernetes Security] | + | * [[Container]] Security（容器安全）[https://www.armosec.io/ Kubernetes Security] 风险分析、安全合规、RBAC可视化和漏洞扫描 |
* [[Database]] Security（数据库安全） | * [[Database]] Security（数据库安全） | ||
* Mobile Security（[https://owasp.org/www-project-mobile-security-testing-guide/ 移动安全]） [https://github.com/OWASP/owasp-masvs OWASP Mobile Application Security Verification Standard (MASVS)] | * Mobile Security（[https://owasp.org/www-project-mobile-security-testing-guide/ 移动安全]） [https://github.com/OWASP/owasp-masvs OWASP Mobile Application Security Verification Standard (MASVS)] | ||
2022年4月29日 (五) 00:08的版本
灰狐安全
目录 |
简介
安全产品、安全咨询、安全审计、安全服务
C/C++/Go 是主力语言，跟进咨询核心开源安全软件，如：OpenSSL, GnuTLS, Let's Encrypt, OPNsense, pfSense
Blockchain Security & Ethereum & Solidity Smart Contract Audits
软硬件安全、可靠性、形式化验证服务是核心，OCaml（Coq） & Haskell（Agda） 是核心语言和形式化能力。
Cryptol Cryptography language，支持证明（:prove 命令）所有可能的输入的谓词（:check 命令）。
愿景
Vision：Building a comprehensive open source security platform.
数据驱动安全 “Mastering data. Securing the world”（掌控数据，保护世界）
路线图
DevSecOps + AISecOps 共筑下一代安全体系
1、DevSecOps 将安全置于 DevOps 整个生命周期 DevSecOps is a combination of Compliance Operations, Security Engineering, Security Science, and Security Operations.
2、AISecOps 人工智能自动化云安全服务 AISecOps as a holistic cloud operations and security management framework that covers the full-stack and incorporates AI to deliver automated response and incident management.
3、通过 PostgreSQL/Greenplum 建立分布式数据仓库 集中数据存储 机器学习和深度学习下沉至数据库 数据库内建机器学习和人工智能算法：一切皆 SQL
商业模式：安全服务具有连续性、持续性，企业每年都要交纳的服务费。
应用场景：如：基于日志的入侵检测分析、利用MADlib图算法检测异常行为
技术融合，交付更大价值的安全服务。
SSL/TLS/Crypto
对 SSL, TLS, Cryptography 和 Let's Encrypt 的持续跟进。
安全基金会
持续跟进：
DevSecOps
DevSecOps 通过自动检测和修复漏洞并免受目标性攻击和自动攻击程序的影响，
无需扫描或者调度，让软件能够自我防护。就像给你的应用程序打了疫苗。
应用场景：
- 自动进行渗透测试以优化资源
- 安全团队与敏捷（Agile） & 开发运营（DevOps）保持同步
- 安全即规范，开发速度更快、构建更安全、无时无刻的监测
- 攻击监测 = 应用安全监测（ASM）持续的可见性、应用智能、迅速响应
- 云安全，安全可扩展
- 帮助企业满足特定的安全合规性标准
OSINT
Open Source Intelligence (OSINT) 开源情报
Haskell
Galois Trust your most critical systems, Galois’s open source verification tools (SAW Cryptol and Crux).
Cryptol Cryptography language, Ivory EDSL, Software Analysis Workbench (SAW) 带来全新的安全思维。
OCaml
静态分析、代码质量、代码安全
Infer in the "static analysis world", OCaml is one of the most popular languages.
Identity
Open Source Identity and Access Management
区块链
区块链和数字货币安全
区块链和智能合约的 Formal verification
操作系统
基于 FreeBSD 的防火墙、路由器和NAS、软件定义存储是核心。
- OPNsense & pfSense Firewall, VPN, and Router
- Linux grsecurity 安全补丁集
- HardenedBSD 主要目标是 grsecurity 的重新实现, GitLab 仓库
- FreeBSD + LLVM
数据库存储
- PostgreSQL
- MariaDB
- ScyllaDB
- OpenZFS
- FreeNAS
- FreeBSD Enterprise Storage
- Serving Netflix Video at 400Gb/s on FreeBSD
项目
- WireGuard
- Open Policy Agent
- Vault
- Wazuh 基于趋势科技的 OSSEC 构建（分支），Migrating from OSSEC
- PKI, CA, TLS, GnuTLS
- LDAP, Apache Directory, OpenLDAP
- lego Let's Encrypt client and ACME library written in Go.
- StackStorm
- falco
- OpenSC Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend
- [Yubico Pluggable Authentication Module (PAM)]
- https://github.com/ehids/ecapture eCapture 通过 eBPF 捕获没有 CA 证书的 SSL/TLS 文本内容。
从3.18版本开始，Linux 内核提供了一种扩展的 BPF 虚拟机，被称为“extended BPF”，简称 eBPF。它能够被用于非网络相关的功能，比如附在不同的 tracepoints 上，从而获取当前内核运行的许多信息，eBPF 现在被应用于网络、跟踪、内核优化、硬件建模等领域。
形式化验证
我们核心关注软件和硬件的完全功能正确性的规范和验证。
DeepSpec 是一个有关软硬件规范（软件应该做什么）和形式化验证的技术联盟，主要专注核心系统软件，如：操作系统、编程语言编译器和计算机芯片等。
我们关注的形式化验证/证明助手语言有：OCaml 编写的 Coq、Haskell 编写的 Agda、Common Lisp 编写的 ACL2。
HACL* a formally verified cryptographic library（形式化验证密码学库）written in F*
Solidity Formally Verified Smart Contracts
服务
- Formal Verification（形式化验证） for Blockchain & Smart Contracts and Software & Hardware
- Zero Trust Architecture（零信任架构）
- Security Analytics（安全分析）
- Intrusion Detection（入侵检测）
- Log Data Analysis（日志数据分析）
- File Integrity Monitoring（文件完整性监控）
- Vulnerability Detection（漏洞检测）
- Configuration Assessment（配置评估）
- Incident Response（应急响应）
- Regulatory Compliance（合规性）
- Cloud Security Monitoring（云安全监控）
- Container Security（容器安全）Kubernetes Security 风险分析、安全合规、RBAC可视化和漏洞扫描
- Database Security（数据库安全）
- Mobile Security（移动安全） OWASP Mobile Application Security Verification Standard (MASVS)
运营支撑
Haskell + PostgREST + PostgreSQL 是整个产品和技术体系的软件基础设施。
图集
云访问安全代理(CASB)
Wazuh
Wazuh数据流
Wazuh Agent
Wazuh Server
Wazuh部署
Cryptol REPL
eBPF
链接
- Runtime Verification Inc We love formal methods
- OWASP
- Awesome Hacking
- Contrast
- Sonatype Automate DevSecOps
- 网络安全类公众号推荐
- Azure Key Vault
