Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956342805> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2956342805 endingPage "641" @default.
- W2956342805 startingPage "627" @default.
- W2956342805 abstract "Usage Control (UCON) model has been considered as the next generation access control model, its distinguishing properties of attribute mutability and decision continuity were more suit for dynamic and open network environment. Just a single usage process was described in form of a state diagram in early formalization, it make it difficult to reason about the interactions of several concurrent usage control process. There were have many formal specifications of Usage Control model. But that formalization all are ambiguous about the interactions of several concurrent usage control process. In this paper we introduced the formal description of UCONABC model and presented an alternative formalization of UCON using extended Computation Tree Logic (CTL) as the underlying formalism. The branching-time character of CTL makes it more naturally on the specification of concurrent enforcement and makes specify the usage control security policy better." @default.
- W2956342805 created "2019-07-23" @default.
- W2956342805 creator A5033976028 @default.
- W2956342805 creator A5066413952 @default.
- W2956342805 date "2019-01-01" @default.
- W2956342805 modified "2023-09-27" @default.
- W2956342805 title "Formal Specification of Concurrent Enforcement UCON Model with CTL Logic" @default.
- W2956342805 cites W1445796672 @default.
- W2956342805 cites W1509266941 @default.
- W2956342805 cites W1658613573 @default.
- W2956342805 cites W2017960359 @default.
- W2956342805 cites W2063150593 @default.
- W2956342805 cites W2068121936 @default.
- W2956342805 cites W2068189899 @default.
- W2956342805 cites W2100538523 @default.
- W2956342805 cites W2114122547 @default.
- W2956342805 cites W2124910940 @default.
- W2956342805 cites W2146778452 @default.
- W2956342805 cites W2149093864 @default.
- W2956342805 cites W3145238549 @default.
- W2956342805 cites W4251228600 @default.
- W2956342805 cites W2101888019 @default.
- W2956342805 doi "https://doi.org/10.1007/978-3-030-24265-7_54" @default.
- W2956342805 hasPublicationYear "2019" @default.
- W2956342805 type Work @default.
- W2956342805 sameAs 2956342805 @default.
- W2956342805 citedByCount "0" @default.
- W2956342805 crossrefType "book-chapter" @default.
- W2956342805 hasAuthorship W2956342805A5033976028 @default.
- W2956342805 hasAuthorship W2956342805A5066413952 @default.
- W2956342805 hasConcept C110251889 @default.
- W2956342805 hasConcept C111498074 @default.
- W2956342805 hasConcept C115903868 @default.
- W2956342805 hasConcept C116253237 @default.
- W2956342805 hasConcept C120314980 @default.
- W2956342805 hasConcept C142362112 @default.
- W2956342805 hasConcept C153349607 @default.
- W2956342805 hasConcept C161771561 @default.
- W2956342805 hasConcept C17744445 @default.
- W2956342805 hasConcept C198008173 @default.
- W2956342805 hasConcept C199360897 @default.
- W2956342805 hasConcept C199539241 @default.
- W2956342805 hasConcept C25016198 @default.
- W2956342805 hasConcept C2779777834 @default.
- W2956342805 hasConcept C41008148 @default.
- W2956342805 hasConcept C558565934 @default.
- W2956342805 hasConcept C73301696 @default.
- W2956342805 hasConcept C75606506 @default.
- W2956342805 hasConcept C80444323 @default.
- W2956342805 hasConcept C98045186 @default.
- W2956342805 hasConceptScore W2956342805C110251889 @default.
- W2956342805 hasConceptScore W2956342805C111498074 @default.
- W2956342805 hasConceptScore W2956342805C115903868 @default.
- W2956342805 hasConceptScore W2956342805C116253237 @default.
- W2956342805 hasConceptScore W2956342805C120314980 @default.
- W2956342805 hasConceptScore W2956342805C142362112 @default.
- W2956342805 hasConceptScore W2956342805C153349607 @default.
- W2956342805 hasConceptScore W2956342805C161771561 @default.
- W2956342805 hasConceptScore W2956342805C17744445 @default.
- W2956342805 hasConceptScore W2956342805C198008173 @default.
- W2956342805 hasConceptScore W2956342805C199360897 @default.
- W2956342805 hasConceptScore W2956342805C199539241 @default.
- W2956342805 hasConceptScore W2956342805C25016198 @default.
- W2956342805 hasConceptScore W2956342805C2779777834 @default.
- W2956342805 hasConceptScore W2956342805C41008148 @default.
- W2956342805 hasConceptScore W2956342805C558565934 @default.
- W2956342805 hasConceptScore W2956342805C73301696 @default.
- W2956342805 hasConceptScore W2956342805C75606506 @default.
- W2956342805 hasConceptScore W2956342805C80444323 @default.
- W2956342805 hasConceptScore W2956342805C98045186 @default.
- W2956342805 hasLocation W29563428051 @default.
- W2956342805 hasOpenAccess W2956342805 @default.
- W2956342805 hasPrimaryLocation W29563428051 @default.
- W2956342805 hasRelatedWork W1749129787 @default.
- W2956342805 hasRelatedWork W1921633840 @default.
- W2956342805 hasRelatedWork W1991633005 @default.
- W2956342805 hasRelatedWork W1996360727 @default.
- W2956342805 hasRelatedWork W2139930485 @default.
- W2956342805 hasRelatedWork W2140605586 @default.
- W2956342805 hasRelatedWork W2182615905 @default.
- W2956342805 hasRelatedWork W2740066118 @default.
- W2956342805 hasRelatedWork W2741430969 @default.
- W2956342805 hasRelatedWork W2804226765 @default.
- W2956342805 isParatext "false" @default.
- W2956342805 isRetracted "false" @default.
- W2956342805 magId "2956342805" @default.
- W2956342805 workType "book-chapter" @default.