Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169354977> ?p ?o ?g. }
- W2169354977 endingPage "463" @default.
- W2169354977 startingPage "440" @default.
- W2169354977 abstract "Security requirements deal with the protection of assets against unauthorized access (disclosure or modification) and their availability to authorized users. Temporal constraints of history-based access control policies are difficult to express naturally in traditional policy languages. We propose a compositional formal framework for the specification and verification of temporal access control policies for security critical systems in which history-based policies and other temporal constraints can be expressed. In particular, our framework allows for the specification of policies that can change dynamically in response to time or events enabling dynamic reconfiguration of the access control mechanisms. The framework utilizes a single well-defined formalism, interval temporal logic, for defining the semantics of these policies and to reason about them. We illustrate our approach with a detailed case study of an electronic paper submission system showing the compositional verification of their safety, liveness and information flow properties." @default.
- W2169354977 created "2016-06-24" @default.
- W2169354977 creator A5005843564 @default.
- W2169354977 creator A5035745103 @default.
- W2169354977 creator A5051297843 @default.
- W2169354977 creator A5078121026 @default.
- W2169354977 date "2012-09-07" @default.
- W2169354977 modified "2023-10-02" @default.
- W2169354977 title "Dynamic Access Control Policies: Specification and Verification" @default.
- W2169354977 cites W1521474031 @default.
- W2169354977 cites W1528417024 @default.
- W2169354977 cites W1549083521 @default.
- W2169354977 cites W1558733074 @default.
- W2169354977 cites W1569403765 @default.
- W2169354977 cites W1599739130 @default.
- W2169354977 cites W1602828133 @default.
- W2169354977 cites W1628800850 @default.
- W2169354977 cites W1644112624 @default.
- W2169354977 cites W1658613573 @default.
- W2169354977 cites W1733247015 @default.
- W2169354977 cites W1855210909 @default.
- W2169354977 cites W1856491113 @default.
- W2169354977 cites W1888344413 @default.
- W2169354977 cites W1897580059 @default.
- W2169354977 cites W191839766 @default.
- W2169354977 cites W1967951878 @default.
- W2169354977 cites W1977764760 @default.
- W2169354977 cites W1984478483 @default.
- W2169354977 cites W1991895580 @default.
- W2169354977 cites W1993163335 @default.
- W2169354977 cites W1997775274 @default.
- W2169354977 cites W2011333687 @default.
- W2169354977 cites W2012419258 @default.
- W2169354977 cites W2015688007 @default.
- W2169354977 cites W2017960359 @default.
- W2169354977 cites W2020992910 @default.
- W2169354977 cites W2032239554 @default.
- W2169354977 cites W2048056473 @default.
- W2169354977 cites W2051333695 @default.
- W2169354977 cites W2053741629 @default.
- W2169354977 cites W2057345152 @default.
- W2169354977 cites W2063649525 @default.
- W2169354977 cites W2068189899 @default.
- W2169354977 cites W2076004681 @default.
- W2169354977 cites W2084621663 @default.
- W2169354977 cites W2094873755 @default.
- W2169354977 cites W2097723210 @default.
- W2169354977 cites W2099529102 @default.
- W2169354977 cites W2113443649 @default.
- W2169354977 cites W2113805068 @default.
- W2169354977 cites W2114122547 @default.
- W2169354977 cites W2117826841 @default.
- W2169354977 cites W2120004772 @default.
- W2169354977 cites W2124228505 @default.
- W2169354977 cites W2124260419 @default.
- W2169354977 cites W2129278597 @default.
- W2169354977 cites W2131903956 @default.
- W2169354977 cites W2133555576 @default.
- W2169354977 cites W2134296086 @default.
- W2169354977 cites W2138129124 @default.
- W2169354977 cites W2143509186 @default.
- W2169354977 cites W2149093864 @default.
- W2169354977 cites W2158126684 @default.
- W2169354977 cites W2162022335 @default.
- W2169354977 cites W2162651669 @default.
- W2169354977 cites W2162737732 @default.
- W2169354977 cites W2164893275 @default.
- W2169354977 cites W2165065735 @default.
- W2169354977 cites W2166602595 @default.
- W2169354977 cites W2167685423 @default.
- W2169354977 cites W2168686464 @default.
- W2169354977 cites W2168753065 @default.
- W2169354977 cites W2168884369 @default.
- W2169354977 cites W2914206182 @default.
- W2169354977 cites W772928425 @default.
- W2169354977 cites W1544339053 @default.
- W2169354977 doi "https://doi.org/10.1093/comjnl/bxs102" @default.
- W2169354977 hasPublicationYear "2012" @default.
- W2169354977 type Work @default.
- W2169354977 sameAs 2169354977 @default.
- W2169354977 citedByCount "15" @default.
- W2169354977 countsByYear W21693549772013 @default.
- W2169354977 countsByYear W21693549772014 @default.
- W2169354977 countsByYear W21693549772015 @default.
- W2169354977 countsByYear W21693549772016 @default.
- W2169354977 countsByYear W21693549772017 @default.
- W2169354977 countsByYear W21693549772019 @default.
- W2169354977 countsByYear W21693549772021 @default.
- W2169354977 countsByYear W21693549772023 @default.
- W2169354977 crossrefType "journal-article" @default.
- W2169354977 hasAuthorship W2169354977A5005843564 @default.
- W2169354977 hasAuthorship W2169354977A5035745103 @default.
- W2169354977 hasAuthorship W2169354977A5051297843 @default.
- W2169354977 hasAuthorship W2169354977A5078121026 @default.
- W2169354977 hasConcept C110251889 @default.
- W2169354977 hasConcept C119701452 @default.
- W2169354977 hasConcept C120314980 @default.
- W2169354977 hasConcept C142362112 @default.