安妮卡

Anica是一个自动的无干扰检查助手,检查安全Petri网的基于位置的非干扰(PBNI+)和基于位置的不干扰降级(PBNID)。Anica是一个用C++编写的基于CLI的单用途程序。作为输入,Anica需要一个安全的Petri网,在验证的情况下,这些转换被标记为HIGH和LOW(如果是PBNID,则标记为DOWN)。Anica提供了以下特性:验证一个完整的指派Petri网;所有有效任务的特征描述;为每一个违反不干涉的行为提供一个见证路径;提供工具链的全自动使用;用标记置信水平着色Petri网;用检查结果着色Petri网;类似证书的结果文件。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. 保罗巴尔丹;Beggiato,Alessandro:多级传递和不及物非干扰,因果关系(2018)