Matches in SemOpenAlex for { <https://semopenalex.org/work/W56222849> ?p ?o ?g. }
- W56222849 abstract "Verification of access control systems against vulnerabilities has always been a challenging problem in the world of computer security. The complication of security policies in large- scale multi-agent systems increases the possible existence of vulnerabilities as a result of mistakes in policy definition. This thesis explores automated methods in order to verify temporal and epistemic properties of access control systems. While temporal property verification can reveal a considerable number of security holes, verification of epistemic properties in multi-agent systems enable us to infer about agents' knowledge in the system and hence, to detect unauthorized information flow. This thesis first presents a framework for knowledge-based verification of dynamic access control policies. This framework models a coalition-based system, which evaluates if a property or a goal can be achieved by a coalition of agents restricted by a set of permissions defined in the policy. Knowledge is restricted to the information that agents can acquire by reading system information in order to increase time and memory efficiency. The framework has its own model-checking method and is implemented in Java and released as an open source tool named (char{cmmi10}{0x50})(char{cmmi10}{0x6f})(char{cmmi10}{0x6c})(char{cmmi10}{0x69})(char{cmmi10}{0x56})(char{cmmi10}{0x65})(char{cmmi10}{0x72}). In order to detect information leakage as a result of reasoning, the second part of this thesis presents a complimentary technique that evaluates access control policies over temporal-epistemic properties where the knowledge is gained by reasoning. We will demonstrate several case studies for a subset of properties that deal with reasoning about knowledge. To increase the efficiency, we develop an automated abstraction refinement technique for evaluating temporal-epistemic properties. For the last part of the thesis, we develop a sound and complete algorithm in order to identify information leakage in Datalog-based trust management systems." @default.
- W56222849 created "2016-06-24" @default.
- W56222849 creator A5012836041 @default.
- W56222849 date "2012-12-01" @default.
- W56222849 modified "2023-09-27" @default.
- W56222849 title "Verification of temporal-epistemic properties of access control systems" @default.
- W56222849 cites W1480511107 @default.
- W56222849 cites W1487801238 @default.
- W56222849 cites W1489391022 @default.
- W56222849 cites W1492689271 @default.
- W56222849 cites W1500169890 @default.
- W56222849 cites W1501731334 @default.
- W56222849 cites W1502450710 @default.
- W56222849 cites W1512310098 @default.
- W56222849 cites W1517772571 @default.
- W56222849 cites W1542556897 @default.
- W56222849 cites W1545403022 @default.
- W56222849 cites W1545688112 @default.
- W56222849 cites W1572490709 @default.
- W56222849 cites W1574030932 @default.
- W56222849 cites W1581651736 @default.
- W56222849 cites W1587990038 @default.
- W56222849 cites W1593628007 @default.
- W56222849 cites W1596365597 @default.
- W56222849 cites W1596552075 @default.
- W56222849 cites W1599739130 @default.
- W56222849 cites W1602828133 @default.
- W56222849 cites W1679534293 @default.
- W56222849 cites W1724960360 @default.
- W56222849 cites W1749560176 @default.
- W56222849 cites W1831889228 @default.
- W56222849 cites W1837588081 @default.
- W56222849 cites W1856491113 @default.
- W56222849 cites W1966316439 @default.
- W56222849 cites W1968898611 @default.
- W56222849 cites W1987339920 @default.
- W56222849 cites W1991895580 @default.
- W56222849 cites W1997862012 @default.
- W56222849 cites W1998410860 @default.
- W56222849 cites W2002128397 @default.
- W56222849 cites W2003959877 @default.
- W56222849 cites W2018891043 @default.
- W56222849 cites W2020992910 @default.
- W56222849 cites W2023808162 @default.
- W56222849 cites W2024664992 @default.
- W56222849 cites W2025891636 @default.
- W56222849 cites W2043100293 @default.
- W56222849 cites W2048905609 @default.
- W56222849 cites W2053741629 @default.
- W56222849 cites W2060440626 @default.
- W56222849 cites W2061438988 @default.
- W56222849 cites W2078738124 @default.
- W56222849 cites W2080267935 @default.
- W56222849 cites W2080593426 @default.
- W56222849 cites W2089139117 @default.
- W56222849 cites W2098354936 @default.
- W56222849 cites W2101577148 @default.
- W56222849 cites W2112283625 @default.
- W56222849 cites W2113443649 @default.
- W56222849 cites W2115309705 @default.
- W56222849 cites W2117189826 @default.
- W56222849 cites W2119615347 @default.
- W56222849 cites W2119709400 @default.
- W56222849 cites W2123479684 @default.
- W56222849 cites W2124260419 @default.
- W56222849 cites W2128361829 @default.
- W56222849 cites W2130805777 @default.
- W56222849 cites W2133693398 @default.
- W56222849 cites W2136650506 @default.
- W56222849 cites W2137106081 @default.
- W56222849 cites W2146356111 @default.
- W56222849 cites W2146819619 @default.
- W56222849 cites W2148725542 @default.
- W56222849 cites W2158395308 @default.
- W56222849 cites W2160151248 @default.
- W56222849 cites W2166602595 @default.
- W56222849 cites W2167896190 @default.
- W56222849 cites W2169348910 @default.
- W56222849 cites W2170408876 @default.
- W56222849 cites W2170496240 @default.
- W56222849 cites W2171296155 @default.
- W56222849 cites W2295903414 @default.
- W56222849 cites W2498106352 @default.
- W56222849 cites W2617830947 @default.
- W56222849 cites W3102845218 @default.
- W56222849 cites W3146960186 @default.
- W56222849 cites W74242707 @default.
- W56222849 cites W2073754090 @default.
- W56222849 hasPublicationYear "2012" @default.
- W56222849 type Work @default.
- W56222849 sameAs 56222849 @default.
- W56222849 citedByCount "0" @default.
- W56222849 crossrefType "dissertation" @default.
- W56222849 hasAuthorship W56222849A5012836041 @default.
- W56222849 hasConcept C111472728 @default.
- W56222849 hasConcept C120314980 @default.
- W56222849 hasConcept C127413603 @default.
- W56222849 hasConcept C138885662 @default.
- W56222849 hasConcept C154908896 @default.
- W56222849 hasConcept C154945302 @default.