TTool
TTool学习笔记。
大桔骑士v
微软程序员,B站账号:大桔骑士v
展开
-
【TTool学习笔记】4:SysML-Sec建模方法(验证和生成)
在学习这节之前要给TTool装配好ProVerif,具体是在TTool/bin/config_*.xml,这里*是linux或者macos或者windows,在里面配置下面的标签。<ProVerifCodeDirectory data="../proverif/" /><ProVerifVerifierPath data="../../proverif/proverif.exe" /><ProVerifVerifierHost data="localhost" />原创 2020-08-25 11:01:25 · 1209 阅读 · 0 评论 -
【TTool学习笔记】3:SysML-Sec建模方法(模型相关)
手册中的例子从TTool远程库导入,File->Open Froom TTool repository->SysMLSecTutorial.xml。1 方法论(Methodology)方法论图和AVATAR中的不太一样,但是大致流程还是一样的,左边单独的一块是假设,然后中间是需求和攻击,其中的信息安全需求(Security Requirement) 和攻击(Attacks) 是AVATAR方法论里没有的,因为SysML-Sec会比较关注去设计安全的(safe and secure)嵌入式系统原创 2020-08-23 16:27:56 · 1111 阅读 · 0 评论 -
【TTool学习笔记】2:AVATAR建模方法(设计和验证)
1 块图(Block Diagram)块图通过New Design添加,描述的是系统的主要结构。其中,建模元素包括:Security pragmas,用规约语言写信息安全性质的地方Safety property (UPPAAL),用规约语言写功能安全性质的地方,用的是UPPAAL的方法Performance property,用规约语言写和性能有关的性质的地方Block,块图中的块,可以添加属性、方法、输入输出信号、原型实现代码Crypto Block,加密块,相比普通的块就只是多添加了各种原创 2020-08-19 21:07:16 · 753 阅读 · 0 评论 -
【TTool学习笔记】1:AVATAR建模方法(分析相关)
在TTool设计面板上右键,有选择New xxx Methodology,其中包括:DIPLODOCUS,用来做嵌入式系统的划分AVATAR,用来设计嵌入式软件SysML-Sec,用来设计安全的(safe and secure)嵌入式系统这篇了解一下其中的AVATAR建模方法中,和分析相关的一些图。1 方法论(Methodology)最开始要创建一个New AVATAR Methodology大面板,即AVATAR方法论的面板,这个面板可以整合其它的一些建模面板。这里能清楚的看到整个流程原创 2020-08-18 00:45:11 · 1169 阅读 · 1 评论