塔科斯 swMATH ID: 13696 软件作者： Falcone Y、Marchand H 描述： TAKOS代表用于分析系统K-不透明度的Java工具箱。TAKOS是RR-7349中给出的理论结果的实现，专门用于验证系统上的几个不透明度级别。不透明意味着攻击者不可能在感兴趣的系统中检索到机密的值。粗略地说，确保不透明性可以为系统上的机密提供保密性，而不能泄漏给攻击者。除了其他功能外，使用TAKOS，用户还可以：（i）离线检查（即模型检查）系统上机密的不透明度，（ii）合成运行时验证监视器，以在系统运行时检查不透明度，以及（iii）合成强制监视器，以确保系统运行时机密的不透明性。 主页： http://toolboxopacity.gforge.inia.fr/ 相关软件： UMDES公司 引用于： 1文件 2位作者引用 1 伊利耶斯·法尔科内 1 埃尔文·马尔坎德 连载1篇 1 离散事件动态系统 在1个字段中引用 1 信息和通信理论，电路（94-XX） 按年份列出的引文