E-COM-NET
首页
在线工具
Layui镜像站
SUI文档
联系我们
推荐频道
Java
PHP
C++
C
C#
Python
Ruby
go语言
Scala
Servlet
Vue
MySQL
NoSQL
Redis
CSS
Oracle
SQL Server
DB2
HBase
Http
HTML5
Spring
Ajax
Jquery
JavaScript
Json
XML
NodeJs
mybatis
Hibernate
算法
设计模式
shell
数据结构
大数据
JS
消息中间件
正则表达式
Tomcat
SQL
Nginx
Shiro
Maven
Linux
SysML-Sec
Improved Security Requirements Engineering using Knowledge Representation
使用知识表示的改进的安全需求工程摘要在本文中,我们为
SysML-Sec
框架引入了一个安全元模型,该模型是通过使用知识表示技术来显式表示安全问题而开发的,旨在改善安全需求工程流程。
PaperTranslate
·
2023-04-05 05:44
形式化方法
SysML
【TTool学习笔记】4:
SysML-Sec
建模方法(验证和生成)
在学习这节之前要给TTool装配好ProVerif,具体是在TTool/bin/config_*.xml,这里*是linux或者macos或者windows,在里面配置下面的标签。分别是ProVerif生成的形式化规约文件存放的目录、可执行文件路径、所在主机。第一个其实默认就是在TTool安装目录下的所以不用改,第三个两个都装在本机上也不用改,就改第二个就行了。1实现信息安全的对抗策略对抗策略就是
LauZyHou
·
2020-09-14 22:20
#
TTool
TTool
SysML-Sec
形式化验证
建模工具
安全协议
【TTool学习笔记】1:AVATAR建模方法(分析相关)
在TTool设计面板上右键,有选择NewxxxMethodology,其中包括:DIPLODOCUS,用来做嵌入式系统的划分AVATAR,用来设计嵌入式软件
SysML-Sec
,用来设计安全的(safeandsecure
LauZyHou
·
2020-09-14 22:50
#
TTool
TTool
建模
嵌入式
AVATAR
【TTool学习笔记】3:
SysML-Sec
建模方法(模型相关)
手册中的例子从TTool远程库导入,File->OpenFroomTToolrepository->SysMLSecTutorial.xml。1方法论(Methodology)方法论图和AVATAR中的不太一样,但是大致流程还是一样的,左边单独的一块是假设,然后中间是需求和攻击,其中的信息安全需求(SecurityRequirement)和攻击(Attacks)是AVATAR方法论里没有的,因为S
LauZyHou
·
2020-09-14 22:50
#
TTool
TTool
SysML-Sec
形式化方法
模型检测
建模工具
上一页
1
下一页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他