SEPIA: Security-oriented PN Framework:Petri网框架,用于与安全相关的建模和推理。-开源

时间:2024-05-20 14:29:18
【文件属性】:

文件名称:SEPIA: Security-oriented PN Framework:Petri网框架,用于与安全相关的建模和推理。-开源

文件大小:2.2MB

文件格式:JAR

更新时间:2024-05-20 14:29:18

开源软件

SEPIA为各种类型的Petri网提供实现。 沿着放置/过渡网络,它支持具有可区分标记颜色的Petri网络,并定义了彩色工作流网络,其中彩色标记被解释为流程执行期间使用的数据元素。 为了支持流程的信息流分析,SEPIA定义了所谓的IF-Net,该IF-Net专为面向安全性的工作流建模而设计,使用户能够为过渡,数据元素和参与流程的人员/代理分配安全级别(HIGH,LOW)执行。 SEPIA建立在TOVAL(http://sourceforge.net/p/toval)、JAGAL(http://sourceforge.net/p/jagal)和SEWOL(https://sourceforge.net/projects/jawl/)的基础上。 要使用SEPIA,请确保这些库在构建路径上。 SEPIA包含多模式验证器(https://msv.java.net/)和isorelax(http://iso-relax.sourceforge.net/)。该文档可在http://doku.telematik.uni-下找到。 freiburg.de/sepia。


网友评论