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: 26 days 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 (4 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`的安装包。