...
机译:安全策略调整:一种正式方法
Energy & Ind. Group, Delft Univ. of Technol., Delft, Netherlands|c|;
Attack trees; security logics; security policies; security policy alignment; security policy refinement; socio-technical systems; system models;
机译:企业网络中基于策略的安全性分析:一种正式方法
机译:通过本体匹配对安全策略进行支持,以支持安全专家
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:网络安全策略相关性检查的一种正式方法
机译:员工和组织安全值通过价值敏感安全策略设计对齐
机译:正式评述评估中国一童政策的影响:一种合成控制方法
机译:安全策略对齐:正式的方法
机译:使用正式安全策略管理移动应用程序中的风险。