机译:计算机系统中的自动安全策略实施
Computer Security Research Laboratory, Computer Science and Engineering Department, Université du Québec en Outaouais;
Laboratoire d'Informatique Médicale, Faculté des Sciences Exactes, Université de Bejaia;
Computer Security Research Laboratory, Computer Science and Engineering Department, Université du Québec en Outaouais;
Computer security; Formal methods; Process algebra; Security policy; Policy enforcement; Ambient calculus; Modal logic;
机译:在NFV网络中添加对自动实施安全策略的支持
机译:使用飞地自动执行富有表现力的安全策略
机译:使用COMPAVE自动执行表达安全策略
机译:分布式系统中自动安全策略实施的软件架构
机译:使用数据出处强制执行安全策略,以丰富IoT /智能构建系统的安全性
机译:使用高级定义语言自动翻译和网络安全策略
机译:监视信息系统以实施计算机安全策略