多三次

Multiubic:基于CUNF的安全Petri网基于展开的非iterference模型检查器,适用于多级安全域,可以处理传递和不传递的安全策略。

此软件的关键字

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


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

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

  1. Baldan,Paolo;Beggiato,Alessandro:多级传递和不及物非干扰,因果关系(2018)