Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/LauZyHou/sbid-ava
🔮内生安全建模工具,基于.Net Core 3.0的Avalonia跨平台桌面应用。
https://github.com/LauZyHou/sbid-ava
attack-tree class-diagram ctl-ast formal-verification model-checking sequence-diagram state-machine topology
Last synced: 2 months ago
JSON representation
🔮内生安全建模工具,基于.Net Core 3.0的Avalonia跨平台桌面应用。
- Host: GitHub
- URL: https://github.com/LauZyHou/sbid-ava
- Owner: LauZyHou
- License: mit
- Created: 2020-01-20T13:00:51.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2021-05-31T16:40:34.000Z (over 3 years ago)
- Last Synced: 2024-08-03T18:14:19.546Z (6 months ago)
- Topics: attack-tree, class-diagram, ctl-ast, formal-verification, model-checking, sequence-diagram, state-machine, topology
- Language: C#
- Size: 714 KB
- Stars: 12
- Watchers: 2
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-avalonia - LauZyHou - sbid-ava - 内生安全建模工具,基于.Net Core 3.0 的 Avalonia 跨平台桌面应用。 (Other Languages / Web Browsers)
README
# sbid-ava
🔮内生安全建模工具,基于.Net Core 3.0的Avalonia跨平台桌面应用。## 简要展示
### 类图
包括自定义数据类型、进程模板、InitialKnowledge、公理、SafetyProperty、SecurityProperty。### 状态机图
用于进程模板的行为建模。### 拓扑图
用于网络拓扑关系建模。### 攻击树
用于威胁建模。### CTL语法树
用于从CTL抽象语法树自动生成CTL公式。### 顺序图
用于面向对象的情景建模。### 发布
发布前,模式先改成`Release`。#### 跨平台发布成单个文件
以下操作在`sbid`项目下。- 配置:Release | Any CPU
- 目标框架:netcoreapp3.0
- 部署模式:独立
- 目标运行时:win-x64或osx-x64或linux-x64
- 文件发布选项:只勾选“生成单个文件”发布后会有两个文件,手动将`backxml`和`resource`目录复制过去即可。
#### Windows安装包发布
以下操作在`setup`项目下。- 右键,点重新生成,即可生成`.msi`和`.exe`的安装包。