【摘 要】
：
IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模型TA安全。对非传递无干扰下IP安全和TA安全
【基金项目】
：
江苏省高等学校自然科学研究项目(No.17KJD520005),南京审计大学人才引进项目
论文部分内容阅读
IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模型TA安全。对非传递无干扰下IP安全和TA安全进行比较分析,给出函数ipurge与函数ta的差别条件,函数ta隐藏了动作序列中部分动作的先后顺序,这些动作的先后顺序对于安全域是一种额外的信息。然后,使用该差别条件,提出当系统满足IP安全时,使系统满足TA安全所需要的条件并进行形式化推导。
其他文献
【正】 白果树是一种古代的裸子植物,因其果皮纯白如银,形似小杏,所以又叫银杏树。据传白果树在中生代时期就在陆地上广泛生长,后经冰川时期,裸子植物几乎全部冻死,只有少数
双向聚类已成为分析基因表达数据的一种重要工具,可以同时从基因和条件两个方向寻找具有相同表达波动的簇。但双向聚类是一种多目标优化的局部搜索算法,处理繁杂的基因数据时
【正】 梅家骥同志在《投资回收年限指标的浅见》（江西财经学院学报83.4,以下简称“浅见”）一文中提出了计算投资回收年限指标与投资周转期的方法;分析了计算这一指标的必要性
【正】 随着城市经济体制改革的不断深入进行,企业生产经营的方式也更加灵活多样。企业的生产和经营相结合,产、供、销密切联系,技术和信息互相融合,大大提高了企业的经济效
【正】 乡镇企业和多种经营是我省经济发展中的"两条短腿".为了伸长这"两条短腿",省委、省政府制订了一系列正确的政策和措施,在开展多种经营方面,提出了要做好畜牧业这篇大
【正】 (一)国民生产总值(GNP)是西方经济学长期使用的经济范畴,现在我们也采用这个指标.这是我们对社会生产总量指标重新认识的结果.任何国家都要用一定的总量指标来反映这
我们把处于传播终端的信宿也就是受众作为一泓静水，投入编码产品也就是新闻报道于其中的话，也往往会产生振荡作用，对受众产生影响。要充分发挥投石效应的最大作用，关键是在新闻策
中国的新闻事业发展到今天,宣传报道的领域不断细化,新闻的分类日趋成熟,随之产生了民生新闻。不论是纸质媒体、电视媒体,还是网络媒体,都很关注民生新闻,有的媒体已经对民生
在数字化来临的时代,新闻媒体的技术有了较好的发展,本文从五个方面论述了新闻媒体技术的发展趋势。
【正】 信息论信息是指对消息接受者来说预先不知道的报道。信息论是利用数学方法研究信息的传送、交换和储存,特别是信息量计算的一门科学。它是在四十年代后期从长期通信实