排序方式： 共有23条查询结果，搜索用时 31 毫秒
21.
强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,对MAC模型的有关安全属性,如主体访问客体的时序关系,主体访问的可达性,因主体的动态安全级访问而存在的安全隐患以及因主体对客体的间接访问而导致敏感信息的可推测性等进行了较为详细地分析.通过对一个安全模型的范例分析,结果表明基于Petri网的安全模型的分析方法可以充分利用现有的可达图的分析方法来对系统安全模型的有关性质进行分析和验证,能够在安全模型的设计和实现阶段有效地改善系统的总体安全策略. 相似文献
22.
无线蜂窝网络目前所采用的机会调度算法在公平性方面存在缺陷。为解决该缺陷,该文提出了一种适用于无线数据网络的基于多用户分集效应的相对比例公平调度算法。不仅可以通过改变参数来调节系统吞吐量,保证系统性能;而且可以保证各用户之间的公平性,满足不同用户的服务质量要求。仿真实验表明,该算法可以在不同用户之间提供公平的服务,而且能兼顾系统吞吐量和用户服务质量的要求。 相似文献
23.
为了解决现有接纳控制方案存在的对新数据流进入网络后的信道使用情况预测不够准确的问题,对IEEE802.11e无线局域网的增强分布式信道访问(EDCA)模式下无线信道的各种状态进行分类,确定真正可利用的信道空闲时间,将新数据流带来的额外信道开销细分为退避时间、传输时间和碰撞时间,并给出每类时间开销的预测方法,从而为接纳控制方案提供更准确的判断依据。仿真试验证明,该文提出的方案能作出更合理的接纳控制决策,并且具有更好的适应性。 相似文献