Expressive policy analysis with enhanced system dynamicity

机译：具有增强系统动态性的富有表现力的策略分析

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take account of obligations and authorizations, (iii) include a dynamic system model, and (iv) give useful diagnostic information. We present a logic-based policy analysis framework which satisfies these requirements, showing how many significant policy-related properties can be analysed, and we give details of a prototype implementation.

机译：尽管进行了多项研究，但是对基于策略的系统进行有效分析仍然是一项重大挑战。策略分析至少应（i）具有表达力（ii）考虑义务和授权，（iii）包括动态系统模型，以及（iv）提供有用的诊断信息。我们提供了一个满足这些要求的基于逻辑的策略分析框架，显示了可以分析多少与策略相关的重要属性，并提供了原型实现的详细信息。

著录项

来源
《Proceedings of the 4th International Symposium on Information, Computer, and Communications Security》|2009年|P.239 - 250|共12页
会议地点 Sydney(AU)
作者
Robert Craven; Jorge Lobo; Jiefei Ma; Alessandra Russo; Emil Lupu; Arosha Bandara;
展开▼
作者单位

Imperial College;

IBM T.J. Watson Research Center;

Imperial College;

Imperial College;

Imperial College;

Open University;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类安全工程;计算技术、计算机技术;
关键词
authorization; formal analysis; policies; security;

机译：授权;形式分析;政策;安全性;;

相似文献

外文文献
中文文献
专利

1. Demonstrating the utility of system dynamics for public policy analysis in New Zealand: the case of excise tax policy on tobacco [J] . Robert Y. Cavana, Leslie V. Clifford System dynamics review . 2006,第4期

机译：演示系统动力学在新西兰公共政策分析中的作用：以烟草消费税政策为例
2. Innovation system policy analysis through system dynamics modelling: A systematic review [J] . Mauricio Uriona, Sara S. (Saartjie) Grobbelaar Science and Public Policy . 2019,第1期

机译：通过系统动力学建模创新系统政策分析：系统评价
3. The impact of innovation policies on the performance of national innovation systems: A system dynamics analysis [J] . Elpida Samara, Patroklos Georgiadis, Ioannis Bakouros Technovation: The International Journal of Technological Innovation, Entrepreneurship and Technology Management . 2012,第11期

机译：创新政策对国家创新系统绩效的影响：系统动力学分析
4. Expressive Policy Analysis with Enhanced System Dynamicity [C] . Robert Craven, Alessandra Russo, Jorge Lobo, 4th ACM symposium on information, computer and communications security 2009 . 2009

机译：具有增强系统动态性的表达策略分析
5. Causality analysis and human resources management policy determinant in Balanced Scorecard: A system dynamics approach. [D] . Yusof, Zainuridah Binti. 2014

机译：平衡计分卡中的因果关系分析和人力资源管理政策决定因素：系统动力学方法。
6. Capturing multi-stage fuzzy uncertainties in hybrid system dynamics and agent-based models for enhancing policy implementation in health systems research [O] . Shiyong Liu, Konstantinos P. Triantis, Li Zhao, -1

机译：在混合系统动力学和基于代理的模型中捕获多阶段模糊不确定性以增强卫生系统研究中的政策实施
7. Expressive policy analysis with enhanced system dynamicity [O] . Robert Craven, Jorge Lobo, Jiefei Ma, 2009

机译：具有增强的系统动态性的表达式策略分析

Expressive policy analysis with enhanced system dynamicity

摘要

著录项

相似文献

相关主题

期刊订阅