Matches in SemOpenAlex for { <https://semopenalex.org/work/W603413312> ?p ?o ?g. }
- W603413312 abstract "This thesis deals with a challenging problem related to the analysis of Access Control systems which depend on time and location against undesirable scenarios such as inconsistency. In particular, this thesis first provides formal algebraic notations for the Access Control specifications in the context of a Spatio- Temporal Role Based Access Control (STRBAC) model. In order to analyse STRBAC specifications to detect inconsistencies and semi-consistencies, this thesis utilises Alloy and Timed Automata. A key challenge is how to automatically generate analysable formalisation such as Alloy and Timed Automata from the specifications. This thesis employs Model-Driven Architecture (MDA) technology to automate the transformation of the STRBAC model to Alloy as well as to Timed Automata and Timed Computation Tree Logic (TCTL). This is accomplished by defining one set of transformation rules for mapping STRBAC features to Alloy features and another set for mapping the features of the STRBAC model to Timed Automata and TCTL features. In addition, we present a comparative study between Alloy and Timed Automata from capability and performance points of view, following which we demonstrate that current Access Control models are not adequate for representing Physical Access Control (PAC) specifications and then discuss some of the limitations of the current models, which we highlight by conducting a case study involving the modelling of an Access Control mechanism used by British Telecom (BT). To overcome such limitations, we present an extension of the STRBAC model which considers the physical aspects of Access Control systems." @default.
- W603413312 created "2016-06-24" @default.
- W603413312 creator A5059554224 @default.
- W603413312 date "2019-03-13" @default.
- W603413312 modified "2023-09-27" @default.
- W603413312 title "Model-Driven Approaches to Analysing Time and Location: Dependent Access Control Specifications" @default.
- W603413312 cites W1484729457 @default.
- W603413312 cites W1490888049 @default.
- W603413312 cites W1497616300 @default.
- W603413312 cites W1503805806 @default.
- W603413312 cites W1504275898 @default.
- W603413312 cites W1518705996 @default.
- W603413312 cites W1519503479 @default.
- W603413312 cites W1520813197 @default.
- W603413312 cites W1522250102 @default.
- W603413312 cites W1526993786 @default.
- W603413312 cites W1534850333 @default.
- W603413312 cites W1542283487 @default.
- W603413312 cites W1543439672 @default.
- W603413312 cites W15437288 @default.
- W603413312 cites W1553052391 @default.
- W603413312 cites W1559498407 @default.
- W603413312 cites W1562131506 @default.
- W603413312 cites W1568423508 @default.
- W603413312 cites W1568573127 @default.
- W603413312 cites W1628797000 @default.
- W603413312 cites W1668806576 @default.
- W603413312 cites W1766697479 @default.
- W603413312 cites W1819818805 @default.
- W603413312 cites W1895387792 @default.
- W603413312 cites W1909942327 @default.
- W603413312 cites W1962072139 @default.
- W603413312 cites W1971584003 @default.
- W603413312 cites W1983817081 @default.
- W603413312 cites W1991895580 @default.
- W603413312 cites W1997199359 @default.
- W603413312 cites W1997842357 @default.
- W603413312 cites W1998109675 @default.
- W603413312 cites W1998208223 @default.
- W603413312 cites W2000508638 @default.
- W603413312 cites W2002217674 @default.
- W603413312 cites W2007999111 @default.
- W603413312 cites W2012335577 @default.
- W603413312 cites W2012849092 @default.
- W603413312 cites W2022036778 @default.
- W603413312 cites W2025737831 @default.
- W603413312 cites W2035291008 @default.
- W603413312 cites W2036237421 @default.
- W603413312 cites W2038121473 @default.
- W603413312 cites W2039589702 @default.
- W603413312 cites W2053741629 @default.
- W603413312 cites W2060440626 @default.
- W603413312 cites W2074480357 @default.
- W603413312 cites W2081938064 @default.
- W603413312 cites W2088541859 @default.
- W603413312 cites W2096874051 @default.
- W603413312 cites W2098007291 @default.
- W603413312 cites W2103317919 @default.
- W603413312 cites W2105389929 @default.
- W603413312 cites W2110018574 @default.
- W603413312 cites W2134167896 @default.
- W603413312 cites W2134953271 @default.
- W603413312 cites W2135550767 @default.
- W603413312 cites W2141696417 @default.
- W603413312 cites W2145793726 @default.
- W603413312 cites W2148429078 @default.
- W603413312 cites W2148952798 @default.
- W603413312 cites W2149593869 @default.
- W603413312 cites W2151430568 @default.
- W603413312 cites W2152505375 @default.
- W603413312 cites W2153439859 @default.
- W603413312 cites W2154061425 @default.
- W603413312 cites W2154765153 @default.
- W603413312 cites W2156015700 @default.
- W603413312 cites W2156137400 @default.
- W603413312 cites W2156245716 @default.
- W603413312 cites W2160709960 @default.
- W603413312 cites W2166602595 @default.
- W603413312 cites W2166768964 @default.
- W603413312 cites W2167896190 @default.
- W603413312 cites W2169239645 @default.
- W603413312 cites W2186577129 @default.
- W603413312 cites W2535444957 @default.
- W603413312 cites W2539024465 @default.
- W603413312 cites W2559817959 @default.
- W603413312 cites W2655966630 @default.
- W603413312 cites W2739584630 @default.
- W603413312 cites W2784020660 @default.
- W603413312 cites W2789764638 @default.
- W603413312 cites W2892629241 @default.
- W603413312 cites W2911583164 @default.
- W603413312 cites W41277334 @default.
- W603413312 cites W597267286 @default.
- W603413312 cites W59912391 @default.
- W603413312 cites W653374666 @default.
- W603413312 cites W1988399551 @default.
- W603413312 cites W2121163399 @default.
- W603413312 cites W2893301667 @default.
- W603413312 cites W3023485956 @default.
- W603413312 hasPublicationYear "2019" @default.