Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567451873> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1567451873 endingPage "615" @default.
- W1567451873 startingPage "610" @default.
- W1567451873 abstract "Access control Systems are used to authenticate and authorize users. For specifying and reasoning about the security properties of access control Systems, many researchers have proposed the use of belief logics. Since authentication protocols are designed to operate in dynamic environments, it is important to model the evolution of access control systems through time. This paper proposes a state logic called SL. With the logic SL and its associated modal tableaux, we are able to reason about and verify security properties of access control systems operating in dynamic environments." @default.
- W1567451873 created "2016-06-24" @default.
- W1567451873 creator A5075707366 @default.
- W1567451873 date "2012-12-01" @default.
- W1567451873 modified "2023-09-23" @default.
- W1567451873 title "Analysis of access control protocols using labelled tableaux" @default.
- W1567451873 hasPublicationYear "2012" @default.
- W1567451873 type Work @default.
- W1567451873 sameAs 1567451873 @default.
- W1567451873 citedByCount "0" @default.
- W1567451873 crossrefType "proceedings-article" @default.
- W1567451873 hasAuthorship W1567451873A5075707366 @default.
- W1567451873 hasConcept C110251889 @default.
- W1567451873 hasConcept C111919701 @default.
- W1567451873 hasConcept C120314980 @default.
- W1567451873 hasConcept C148417208 @default.
- W1567451873 hasConcept C14982408 @default.
- W1567451873 hasConcept C154945302 @default.
- W1567451873 hasConcept C184842701 @default.
- W1567451873 hasConcept C185592680 @default.
- W1567451873 hasConcept C188027245 @default.
- W1567451873 hasConcept C199360897 @default.
- W1567451873 hasConcept C25016198 @default.
- W1567451873 hasConcept C27508121 @default.
- W1567451873 hasConcept C2775924081 @default.
- W1567451873 hasConcept C38652104 @default.
- W1567451873 hasConcept C41008148 @default.
- W1567451873 hasConcept C44415380 @default.
- W1567451873 hasConcept C45567728 @default.
- W1567451873 hasConcept C48103436 @default.
- W1567451873 hasConcept C48814466 @default.
- W1567451873 hasConcept C527821871 @default.
- W1567451873 hasConcept C71139939 @default.
- W1567451873 hasConcept C77290126 @default.
- W1567451873 hasConcept C79974875 @default.
- W1567451873 hasConcept C80444323 @default.
- W1567451873 hasConceptScore W1567451873C110251889 @default.
- W1567451873 hasConceptScore W1567451873C111919701 @default.
- W1567451873 hasConceptScore W1567451873C120314980 @default.
- W1567451873 hasConceptScore W1567451873C148417208 @default.
- W1567451873 hasConceptScore W1567451873C14982408 @default.
- W1567451873 hasConceptScore W1567451873C154945302 @default.
- W1567451873 hasConceptScore W1567451873C184842701 @default.
- W1567451873 hasConceptScore W1567451873C185592680 @default.
- W1567451873 hasConceptScore W1567451873C188027245 @default.
- W1567451873 hasConceptScore W1567451873C199360897 @default.
- W1567451873 hasConceptScore W1567451873C25016198 @default.
- W1567451873 hasConceptScore W1567451873C27508121 @default.
- W1567451873 hasConceptScore W1567451873C2775924081 @default.
- W1567451873 hasConceptScore W1567451873C38652104 @default.
- W1567451873 hasConceptScore W1567451873C41008148 @default.
- W1567451873 hasConceptScore W1567451873C44415380 @default.
- W1567451873 hasConceptScore W1567451873C45567728 @default.
- W1567451873 hasConceptScore W1567451873C48103436 @default.
- W1567451873 hasConceptScore W1567451873C48814466 @default.
- W1567451873 hasConceptScore W1567451873C527821871 @default.
- W1567451873 hasConceptScore W1567451873C71139939 @default.
- W1567451873 hasConceptScore W1567451873C77290126 @default.
- W1567451873 hasConceptScore W1567451873C79974875 @default.
- W1567451873 hasConceptScore W1567451873C80444323 @default.
- W1567451873 hasLocation W15674518731 @default.
- W1567451873 hasOpenAccess W1567451873 @default.
- W1567451873 hasPrimaryLocation W15674518731 @default.
- W1567451873 hasRelatedWork W117052899 @default.
- W1567451873 hasRelatedWork W1518432802 @default.
- W1567451873 hasRelatedWork W1520770687 @default.
- W1567451873 hasRelatedWork W1553209130 @default.
- W1567451873 hasRelatedWork W1586422879 @default.
- W1567451873 hasRelatedWork W1586770912 @default.
- W1567451873 hasRelatedWork W1593554761 @default.
- W1567451873 hasRelatedWork W1665970519 @default.
- W1567451873 hasRelatedWork W1995511026 @default.
- W1567451873 hasRelatedWork W2030664040 @default.
- W1567451873 hasRelatedWork W2057720008 @default.
- W1567451873 hasRelatedWork W2070207454 @default.
- W1567451873 hasRelatedWork W2101441790 @default.
- W1567451873 hasRelatedWork W2105476775 @default.
- W1567451873 hasRelatedWork W2113599658 @default.
- W1567451873 hasRelatedWork W2136859846 @default.
- W1567451873 hasRelatedWork W2140761632 @default.
- W1567451873 hasRelatedWork W2147669587 @default.
- W1567451873 hasRelatedWork W2171807364 @default.
- W1567451873 hasRelatedWork W2288808460 @default.
- W1567451873 isParatext "false" @default.
- W1567451873 isRetracted "false" @default.
- W1567451873 magId "1567451873" @default.
- W1567451873 workType "article" @default.