Matches in SemOpenAlex for { <https://semopenalex.org/work/W571815734> ?p ?o ?g. }
- W571815734 abstract "This thesis advances the modelling and verification of access control policies by using automated knowledge-based symbolic model checking techniques. The key contributions of this thesis are threefold: firstly, a modelling language that expresses dynamic access control policies with compound actions that update multiple variables; secondly, a knowledge-based verification algorithm that verifies properties over an access control policy that has compound actions; and finally, an automated tool, called X-Policy, which implements the algorithm.This research enables us to model and verify access control policies for web-based collaborative systems. We model and analyse a number of conference management systems and their security properties. We propose the appropriate modifications to rectify the policies when possible. Ultimately, this research will allow us to model and verify more systems and help avoid the current situation." @default.
- W571815734 created "2016-06-24" @default.
- W571815734 creator A5072339444 @default.
- W571815734 date "2012-07-01" @default.
- W571815734 modified "2023-09-23" @default.
- W571815734 title "Modelling and verifying dynamic access control policies using knowledge-based model checking" @default.
- W571815734 cites W1481403881 @default.
- W571815734 cites W1482030462 @default.
- W571815734 cites W1490597684 @default.
- W571815734 cites W1502450710 @default.
- W571815734 cites W1503170978 @default.
- W571815734 cites W1525060607 @default.
- W571815734 cites W1535365985 @default.
- W571815734 cites W1542441920 @default.
- W571815734 cites W1545688112 @default.
- W571815734 cites W1555173530 @default.
- W571815734 cites W1559498407 @default.
- W571815734 cites W1559861367 @default.
- W571815734 cites W1563180800 @default.
- W571815734 cites W1570054284 @default.
- W571815734 cites W1581651736 @default.
- W571815734 cites W1589232796 @default.
- W571815734 cites W1595155556 @default.
- W571815734 cites W1602828133 @default.
- W571815734 cites W1619579880 @default.
- W571815734 cites W1655884486 @default.
- W571815734 cites W1724960360 @default.
- W571815734 cites W1733247015 @default.
- W571815734 cites W1790717150 @default.
- W571815734 cites W1823618695 @default.
- W571815734 cites W1831889228 @default.
- W571815734 cites W1856491113 @default.
- W571815734 cites W1897580059 @default.
- W571815734 cites W190038403 @default.
- W571815734 cites W1981023347 @default.
- W571815734 cites W1987339920 @default.
- W571815734 cites W1991895580 @default.
- W571815734 cites W1995080554 @default.
- W571815734 cites W1997199359 @default.
- W571815734 cites W1997862012 @default.
- W571815734 cites W2006097813 @default.
- W571815734 cites W2020992910 @default.
- W571815734 cites W2031999958 @default.
- W571815734 cites W2035980452 @default.
- W571815734 cites W2053741629 @default.
- W571815734 cites W2060440626 @default.
- W571815734 cites W2062280777 @default.
- W571815734 cites W2068189899 @default.
- W571815734 cites W2075100215 @default.
- W571815734 cites W2078671172 @default.
- W571815734 cites W2080593426 @default.
- W571815734 cites W2083255124 @default.
- W571815734 cites W2094820293 @default.
- W571815734 cites W2097723210 @default.
- W571815734 cites W2108120132 @default.
- W571815734 cites W2112283625 @default.
- W571815734 cites W2113443649 @default.
- W571815734 cites W2117403024 @default.
- W571815734 cites W2123837566 @default.
- W571815734 cites W2124260419 @default.
- W571815734 cites W2127574686 @default.
- W571815734 cites W2138916465 @default.
- W571815734 cites W2142168582 @default.
- W571815734 cites W2145400333 @default.
- W571815734 cites W2145793726 @default.
- W571815734 cites W2146356111 @default.
- W571815734 cites W2150847510 @default.
- W571815734 cites W2154061425 @default.
- W571815734 cites W2159263584 @default.
- W571815734 cites W2166602595 @default.
- W571815734 cites W2167122335 @default.
- W571815734 cites W2167142086 @default.
- W571815734 cites W2167896190 @default.
- W571815734 cites W2168426216 @default.
- W571815734 cites W2169348910 @default.
- W571815734 cites W2169602487 @default.
- W571815734 cites W2169908972 @default.
- W571815734 cites W2170496240 @default.
- W571815734 cites W2171107057 @default.
- W571815734 cites W2498106352 @default.
- W571815734 cites W84745033 @default.
- W571815734 cites W2067580212 @default.
- W571815734 cites W2182786740 @default.
- W571815734 cites W245309746 @default.
- W571815734 cites W31698550 @default.
- W571815734 cites W3193866035 @default.
- W571815734 hasPublicationYear "2012" @default.
- W571815734 type Work @default.
- W571815734 sameAs 571815734 @default.
- W571815734 citedByCount "0" @default.
- W571815734 crossrefType "dissertation" @default.
- W571815734 hasAuthorship W571815734A5072339444 @default.
- W571815734 hasConcept C110251889 @default.
- W571815734 hasConcept C115903868 @default.
- W571815734 hasConcept C120314980 @default.
- W571815734 hasConcept C154908896 @default.
- W571815734 hasConcept C154945302 @default.
- W571815734 hasConcept C199360897 @default.
- W571815734 hasConcept C26517878 @default.
- W571815734 hasConcept C2775924081 @default.