Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914304911> ?p ?o ?g. }
- W2914304911 endingPage "35" @default.
- W2914304911 startingPage "1" @default.
- W2914304911 abstract "Policy-based management of computer systems, computer networks and devices is a critical technology especially for present and future systems characterized by large-scale systems with autonomous devices, such as robots and drones. Maintaining reliable policy systems requires efficient and effective analysis approaches to ensure that the policies verify critical properties, such as correctness and consistency. In this paper, we present an extensive overview of methods for policy analysis. Then, we survey policy analysis systems and frameworks that have been proposed and compare them under various dimensions. We conclude the paper by outlining novel research directions in the area of policy analysis." @default.
- W2914304911 created "2019-02-21" @default.
- W2914304911 creator A5035895741 @default.
- W2914304911 creator A5041645148 @default.
- W2914304911 creator A5046462940 @default.
- W2914304911 creator A5046896680 @default.
- W2914304911 creator A5061694501 @default.
- W2914304911 creator A5072375083 @default.
- W2914304911 creator A5075310412 @default.
- W2914304911 creator A5077318302 @default.
- W2914304911 date "2019-02-04" @default.
- W2914304911 modified "2023-10-11" @default.
- W2914304911 title "Methods and Tools for Policy Analysis" @default.
- W2914304911 cites W1556003781 @default.
- W2914304911 cites W1563423869 @default.
- W2914304911 cites W1577525693 @default.
- W2914304911 cites W1581651736 @default.
- W2914304911 cites W1582022100 @default.
- W2914304911 cites W1596186423 @default.
- W2914304911 cites W1606452969 @default.
- W2914304911 cites W1724960360 @default.
- W2914304911 cites W1787327377 @default.
- W2914304911 cites W1803917233 @default.
- W2914304911 cites W1825730661 @default.
- W2914304911 cites W1862398452 @default.
- W2914304911 cites W1894272157 @default.
- W2914304911 cites W1968110920 @default.
- W2914304911 cites W1974489177 @default.
- W2914304911 cites W1976237736 @default.
- W2914304911 cites W1976797825 @default.
- W2914304911 cites W1980437932 @default.
- W2914304911 cites W1982255089 @default.
- W2914304911 cites W1983817047 @default.
- W2914304911 cites W1985021481 @default.
- W2914304911 cites W1993101942 @default.
- W2914304911 cites W1994143452 @default.
- W2914304911 cites W1995281361 @default.
- W2914304911 cites W1997862012 @default.
- W2914304911 cites W1998568597 @default.
- W2914304911 cites W1999352108 @default.
- W2914304911 cites W2005780908 @default.
- W2914304911 cites W2005998857 @default.
- W2914304911 cites W2006841241 @default.
- W2914304911 cites W2011274796 @default.
- W2914304911 cites W2016424329 @default.
- W2914304911 cites W2017127020 @default.
- W2914304911 cites W2017849692 @default.
- W2914304911 cites W2018616316 @default.
- W2914304911 cites W2019498356 @default.
- W2914304911 cites W2020729428 @default.
- W2914304911 cites W2029036638 @default.
- W2914304911 cites W2036265926 @default.
- W2914304911 cites W2036518155 @default.
- W2914304911 cites W2039734353 @default.
- W2914304911 cites W2040340473 @default.
- W2914304911 cites W2041571464 @default.
- W2914304911 cites W2041600545 @default.
- W2914304911 cites W2046213875 @default.
- W2914304911 cites W2047339217 @default.
- W2914304911 cites W2047650874 @default.
- W2914304911 cites W2048107609 @default.
- W2914304911 cites W2049695835 @default.
- W2914304911 cites W2051014795 @default.
- W2914304911 cites W2051096364 @default.
- W2914304911 cites W2053570754 @default.
- W2914304911 cites W2054075152 @default.
- W2914304911 cites W2056388056 @default.
- W2914304911 cites W2057361103 @default.
- W2914304911 cites W2057732635 @default.
- W2914304911 cites W2060440626 @default.
- W2914304911 cites W2062573048 @default.
- W2914304911 cites W2062617586 @default.
- W2914304911 cites W2062897452 @default.
- W2914304911 cites W2064070192 @default.
- W2914304911 cites W2064853889 @default.
- W2914304911 cites W2067191022 @default.
- W2914304911 cites W2069242349 @default.
- W2914304911 cites W2069728203 @default.
- W2914304911 cites W2073300799 @default.
- W2914304911 cites W2074240012 @default.
- W2914304911 cites W2076004681 @default.
- W2914304911 cites W2082587075 @default.
- W2914304911 cites W2085952809 @default.
- W2914304911 cites W2096050295 @default.
- W2914304911 cites W2096244038 @default.
- W2914304911 cites W2098393750 @default.
- W2914304911 cites W2099106391 @default.
- W2914304911 cites W2099404336 @default.
- W2914304911 cites W2099438987 @default.
- W2914304911 cites W2099789029 @default.
- W2914304911 cites W2100186706 @default.
- W2914304911 cites W2103140527 @default.
- W2914304911 cites W2103353650 @default.
- W2914304911 cites W2104126268 @default.
- W2914304911 cites W2107355607 @default.
- W2914304911 cites W2107801860 @default.
- W2914304911 cites W2108147409 @default.
- W2914304911 cites W2109687464 @default.