策略验证相关论文
本文通过详细的测试过程，逐步分析，最终得出宽带网系统上QOS的配置策略，并通过大量的测试项目对这一策略进行了验证。......
随着我国基础教育课程改革的不断深入,数学建模越来越受到重视.当前义务教育阶段的小学数学课程标准中所提出的课程目标、知识技能......
移动互联网的飞速发展催生了大量的在线社交网络平台和工具得以广泛应用,访问控制技术作为保护社交用户隐私和信息安全的经典方法,......
SDN与NFV技术带来了网络管理的灵活性与便捷性,但SDN的动态转发策略可能导致网络功能策略失效,同时不同网络功能的策略可能互相影......
对月球卫星的调相轨道控制进行了初步研究.基于调相轨道控制的目标和调相轨道控制具有有限推力长弧段飞行的特点,提出了调相轨道控......
为保证特定安全域的各类安全设备在基于策略的管理体系中协同工作,避免策略执行时的矛盾与冲突,研究了安全策略的验证方法。按照子......
访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控......
如何平衡嵌入式设备的能耗和性能表现,成为了一个热门话题。动态能耗管理是一种在保证系统性能的基础上降低其能耗的有效方法,其关......
面对新环境下网络管理急需自动化和动态化的挑战，基于策略的网络管理是一个充满希望的解决方案，在简要回顾策略网管理发展历程和现有......
高级安全策略又称为安全需求,低级策略配置是高级策略的实现,正确的低级策略配置必须能够满足安全需求。网络安全取决于低级策略配......
为保证特定安全域的各类安全设备在基于策略的管理体系中协同工作，避免策略执行时的矛盾与冲突，研究了安全策略的验证方法。按照子网......
针对动态安全策略在策略表达、判决和验证等方面具有的重要意义，提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML．首先......
随着互联网规模的不断增大,网络管理和运维变得极其复杂,网络自治成为未来网络发展的趋势,基于意图的网络(intent-based networkin......
对AS间BGP路由策略进行了深入研究，给出了一种推断导出策略的方法。在此基础上，提出了一种基于AS关系的AS间BGP路由策略验证方法，通过......
Internet是由17000多个自治系统(AS)连接而成的,这些AS主要由ISP,公司和大学管理。BGP协议是目前广泛用于广域网的AS间路由协议,BG......
直流微电网具有高效、经济、适宜分布式电源接入和无同步问题等优点,其运行和控制方法对直流微电网的安全稳定运行至关重要。为了......
提出了一种基于一阶逻辑的安全策略管理框架．首先，研究安全策略的语法和语义，给出将安全策略转换成扩展型逻辑程序的算法，进而构造出安......
针对天基综合信息系统面临的安全威胁,结合安全需求和约束条件,面向远程空间信息支援任务想定,设计主动可控的安全防护策略规则,并......
