sbid-ava
Security modeler
An internal security modeling tool that allows users to create and analyze system models using various visualizations and formal verification techniques.
🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。
12 stars
2 watching
4 forks
Language: C#
last commit: almost 4 years ago
Linked from 1 awesome list
attack-treeclass-diagramctl-astformal-verificationmodel-checkingsequence-diagramstate-machinetopology
avaloniacommunity/awesome-avaloniaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 azure/counterfit | An automation tool that assesses the security of machine learning systems by bringing together various adversarial frameworks under one platform. | 818 |
 debasishm89/burpy | A tool that analyzes web application security by parsing Burp Suite logs and generating reports. | 120 |
 tylerwince/flake8-bandit | Automated security testing tool | 110 |
 theresafewconors/sooty | A tool designed to aid cybersecurity analysts in automating routine checks and enhancing their workflow | 1,364 |
 awakesecurity/spectacle | A tool for writing and validating temporal logic specifications of software behavior | 174 |
 dev-lu/osint_toolkit | A web application combining various security analysis tools and services into one platform | 526 |
 sslab-gatech/rudra | A tool that detects common undefined behaviors in Rust programs. | 1,323 |
 aau-network-security/haaukins | A platform providing automated virtualization environments for security education and vulnerability testing | 188 |
 andrewlock/netescapades.aspnetcore.securityheaders | Provides security headers for ASP.NET Core applications | 704 |
 vchinnipilli/kubestriker | Automates security audits of Kubernetes clusters to identify misconfigurations and vulnerabilities | 992 |
 toolness/security-adventure | An educational web security tool designed to teach developers about vulnerabilities and how to protect against them | 334 |
 marshyski/quick-secure | Automates UNIX/Linux system hardening and security configuration | 415 |
 eliasgranderubio/dagda | A tool to analyze and monitor Docker images and containers for security threats | 1,164 |
 clouditera/secgpt | Develops and shares a large language model for network security applications, enabling the exploration of AI in cybersecurity. | 1,953 |
 matter-labs-archive/alpha_line | A multi-party computation implementation for generating secure parameters in a proof system | 24 |