排序方式： 共有2条查询结果，搜索用时 62 毫秒
1
1.
为了对实施了具体保密性策略的系统、进程或工作流的保密性进行严格有效的分析与验证,提出了一种基于Petri网的保密性策略建模与验证方法.首先给出保密性策略基于Petri网的形式化描述,为系统建立Petri网模型;然后在此模型下利用保密性策略基于Petri网的形式化描述以及覆盖图对系统的保密性进行分析与验证,以判断系统是否符合保密性策略的要求.由于给定的系统Petri网模型覆盖图可以自动生成,因此可以利用其对系统的保密性进行自动分析与验证.通过一个进程实例阐述了该方法的原理和实施过程. 相似文献
2.
高校无线网络管理与服务存在两个问题：一是无线网络AP布局和服务质量检测缺乏数据支持,主观性强;二是被动收集师生使用体验反馈,范围小,准确性低.针对这些问题,该文提出了一种基于校园大数据的无线网络AP动态布局模型.该模型的特点是数据驱动和动态优化.通过在华中师范大学的应用探索,表明该模型能够有效提高校园无线网络的服务质量,优化学校无线网络管理流程. 相似文献
1