🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。
包括自定义数据类型、进程模板、InitialKnowledge、公理、SafetyProperty、SecurityProperty。
用于进程模板的行为建模。
用于网络拓扑关系建模。
用于威胁建模。
用于从CTL抽象语法树自动生成CTL公式。
用于面向对象的情景建模。
发布前，模式先改成Release。
以下操作在sbid项目下。
- 配置：Release | Any CPU
- 目标框架：netcoreapp3.0
- 部署模式：独立
- 目标运行时：win-x64或osx-x64或linux-x64
- 文件发布选项：只勾选“生成单个文件”
发布后会有两个文件，手动将backxml和resource目录复制过去即可。
以下操作在setup项目下。
- 右键，点重新生成，即可生成
.msi和.exe的安装包。