使用知识表示的改进的安全需求工程摘要在本文中，我们为SysML-Sec框架引入了一个安全元模型，该模型是通过使用知识表示技术来显式表示安全问题而开发的，旨在改善安全需求工程流程。

在学习这节之前要给TTool装配好ProVerif，具体是在TTool/bin/config_*.xml，这里*是linux或者macos或者windows，在里面配置下面的标签。分别是ProVerif生成的形式化规约文件存放的目录、可执行文件路径、所在主机。第一个其实默认就是在TTool安装目录下的所以不用改，第三个两个都装在本机上也不用改，就改第二个就行了。1实现信息安全的对抗策略对抗策略就是

在TTool设计面板上右键，有选择NewxxxMethodology，其中包括：DIPLODOCUS，用来做嵌入式系统的划分AVATAR，用来设计嵌入式软件SysML-Sec，用来设计安全的(safeandsecure

手册中的例子从TTool远程库导入，File->OpenFroomTToolrepository->SysMLSecTutorial.xml。1方法论(Methodology)方法论图和AVATAR中的不太一样，但是大致流程还是一样的，左边单独的一块是假设，然后中间是需求和攻击，其中的信息安全需求(SecurityRequirement)和攻击(Attacks)是AVATAR方法论里没有的，因为S