策略验证相关论文
移动互联网的飞速发展催生了大量的在线社交网络平台和工具得以广泛应用,访问控制技术作为保护社交用户隐私和信息安全的经典方法,......
访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控......
如何平衡嵌入式设备的能耗和性能表现,成为了一个热门话题。动态能耗管理是一种在保证系统性能的基础上降低其能耗的有效方法,其关......
针对动态安全策略在策略表达、判决和验证等方面具有的重要意义，提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML．首先......
随着互联网规模的不断增大,网络管理和运维变得极其复杂,网络自治成为未来网络发展的趋势,基于意图的网络(intent-based networkin......
对AS间BGP路由策略进行了深入研究，给出了一种推断导出策略的方法。在此基础上，提出了一种基于AS关系的AS间BGP路由策略验证方法，通过......
Internet是由17000多个自治系统(AS)连接而成的,这些AS主要由ISP,公司和大学管理。BGP协议是目前广泛用于广域网的AS间路由协议,BG......
直流微电网具有高效、经济、适宜分布式电源接入和无同步问题等优点,其运行和控制方法对直流微电网的安全稳定运行至关重要。为了......
提出了一种基于一阶逻辑的安全策略管理框架．首先，研究安全策略的语法和语义，给出将安全策略转换成扩展型逻辑程序的算法，进而构造出安......
针对天基综合信息系统面临的安全威胁,结合安全需求和约束条件,面向远程空间信息支援任务想定,设计主动可控的安全防护策略规则,并......
