【摘 要】
：
IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模型TA安全。对非传递无干扰下IP安全和TA安全
【基金项目】
：
江苏省高等学校自然科学研究项目(No.17KJD520005),南京审计大学人才引进项目
论文部分内容阅读
IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模型TA安全。对非传递无干扰下IP安全和TA安全进行比较分析,给出函数ipurge与函数ta的差别条件,函数ta隐藏了动作序列中部分动作的先后顺序,这些动作的先后顺序对于安全域是一种额外的信息。然后,使用该差别条件,提出当系统满足IP安全时,使系统满足TA安全所需要的条件并进行形式化推导。
其他文献
双向聚类已成为分析基因表达数据的一种重要工具,可以同时从基因和条件两个方向寻找具有相同表达波动的簇。但双向聚类是一种多目标优化的局部搜索算法,处理繁杂的基因数据时
我们把处于传播终端的信宿也就是受众作为一泓静水，投入编码产品也就是新闻报道于其中的话，也往往会产生振荡作用，对受众产生影响。要充分发挥投石效应的最大作用，关键是在新闻策
中国的新闻事业发展到今天,宣传报道的领域不断细化,新闻的分类日趋成熟,随之产生了民生新闻。不论是纸质媒体、电视媒体,还是网络媒体,都很关注民生新闻,有的媒体已经对民生
在数字化来临的时代,新闻媒体的技术有了较好的发展,本文从五个方面论述了新闻媒体技术的发展趋势。