FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008239401> ?p ?o ?g. }

• W2008239401 endingPage "147" @default.
• W2008239401 startingPage "128" @default.
• W2008239401 abstract "Security analysis is a formal verification technique to ascertain certain desirable guarantees on the access control policy specification. Given a set of access control policies, a general safety requirement in such a system is to determine whether a desirable property is satisfied in all the reachable states. Such an analysis calls for the use of formal verification techniques. While formal analysis on traditional Role Based Access Control (RBAC) has been done to some extent, recent extensions to RBAC lack such an analysis. In this paper, we consider the temporal RBAC extensions and propose a formal technique using timed automata to perform security analysis by analyzing both safety and liveness properties. Using safety properties one ensures that something bad never happens while liveness properties show that some good state is also achieved. GTRBAC is a well accepted generalized temporal RBAC model which can handle a wide range of temporal constraints while specifying different access control policies. Analysis of such a model involves a process of mapping a GTRBAC based system into a state transition system. Different reduction rules are proposed to simplify the modeling process depending upon the constraints supported by the system. The effect of different constraints on the modeling process is also studied." @default.
• W2008239401 created "2016-06-24" @default.
• W2008239401 creator A5036571304 @default.
• W2008239401 creator A5084845728 @default.
• W2008239401 creator A5088675403 @default.
• W2008239401 date "2011-03-01" @default.
• W2008239401 modified "2023-09-27" @default.
• W2008239401 title "Security analysis of GTRBAC and its variants using model checking" @default.
• W2008239401 cites W1548628436 @default.
• W2008239401 cites W1591560447 @default.
• W2008239401 cites W1962072139 @default.
• W2008239401 cites W2015653806 @default.
• W2008239401 cites W2038696466 @default.
• W2008239401 cites W2039589702 @default.
• W2008239401 cites W2039819454 @default.
• W2008239401 cites W2041232096 @default.
• W2008239401 cites W2053741629 @default.
• W2008239401 cites W2054507370 @default.
• W2008239401 cites W2076004681 @default.
• W2008239401 cites W2096014157 @default.
• W2008239401 cites W2101508170 @default.
• W2008239401 cites W2110076463 @default.
• W2008239401 cites W2113436918 @default.
• W2008239401 cites W2123837566 @default.
• W2008239401 cites W2141696417 @default.
• W2008239401 cites W2149593869 @default.
• W2008239401 cites W2152053098 @default.
• W2008239401 cites W2154765153 @default.
• W2008239401 cites W4237146713 @default.
• W2008239401 doi "https://doi.org/10.1016/j.cose.2010.09.002" @default.
• W2008239401 hasPublicationYear "2011" @default.
• W2008239401 type Work @default.
• W2008239401 sameAs 2008239401 @default.
• W2008239401 citedByCount "12" @default.
• W2008239401 countsByYear W20082394012014 @default.
• W2008239401 countsByYear W20082394012017 @default.
• W2008239401 countsByYear W20082394012018 @default.
• W2008239401 countsByYear W20082394012019 @default.
• W2008239401 countsByYear W20082394012021 @default.
• W2008239401 countsByYear W20082394012022 @default.
• W2008239401 crossrefType "journal-article" @default.
• W2008239401 hasAuthorship W2008239401A5036571304 @default.
• W2008239401 hasAuthorship W2008239401A5084845728 @default.
• W2008239401 hasAuthorship W2008239401A5088675403 @default.
• W2008239401 hasConcept C110251889 @default.
• W2008239401 hasConcept C111498074 @default.
• W2008239401 hasConcept C112505250 @default.
• W2008239401 hasConcept C120314980 @default.
• W2008239401 hasConcept C154908896 @default.
• W2008239401 hasConcept C15569618 @default.
• W2008239401 hasConcept C177264268 @default.
• W2008239401 hasConcept C199360897 @default.
• W2008239401 hasConcept C38369872 @default.
• W2008239401 hasConcept C38652104 @default.
• W2008239401 hasConcept C41008148 @default.
• W2008239401 hasConcept C45567728 @default.
• W2008239401 hasConcept C48103436 @default.
• W2008239401 hasConcept C527821871 @default.
• W2008239401 hasConcept C75606506 @default.
• W2008239401 hasConcept C80444323 @default.
• W2008239401 hasConcept C97686452 @default.
• W2008239401 hasConcept C98045186 @default.
• W2008239401 hasConceptScore W2008239401C110251889 @default.
• W2008239401 hasConceptScore W2008239401C111498074 @default.
• W2008239401 hasConceptScore W2008239401C112505250 @default.
• W2008239401 hasConceptScore W2008239401C120314980 @default.
• W2008239401 hasConceptScore W2008239401C154908896 @default.
• W2008239401 hasConceptScore W2008239401C15569618 @default.
• W2008239401 hasConceptScore W2008239401C177264268 @default.
• W2008239401 hasConceptScore W2008239401C199360897 @default.
• W2008239401 hasConceptScore W2008239401C38369872 @default.
• W2008239401 hasConceptScore W2008239401C38652104 @default.
• W2008239401 hasConceptScore W2008239401C41008148 @default.
• W2008239401 hasConceptScore W2008239401C45567728 @default.
• W2008239401 hasConceptScore W2008239401C48103436 @default.
• W2008239401 hasConceptScore W2008239401C527821871 @default.
• W2008239401 hasConceptScore W2008239401C75606506 @default.
• W2008239401 hasConceptScore W2008239401C80444323 @default.
• W2008239401 hasConceptScore W2008239401C97686452 @default.
• W2008239401 hasConceptScore W2008239401C98045186 @default.
• W2008239401 hasIssue "2-3" @default.
• W2008239401 hasLocation W20082394011 @default.
• W2008239401 hasOpenAccess W2008239401 @default.
• W2008239401 hasPrimaryLocation W20082394011 @default.
• W2008239401 hasRelatedWork W1976738965 @default.
• W2008239401 hasRelatedWork W1982470463 @default.
• W2008239401 hasRelatedWork W2137482403 @default.
• W2008239401 hasRelatedWork W2149593869 @default.
• W2008239401 hasRelatedWork W2294098343 @default.
• W2008239401 hasRelatedWork W256372521 @default.
• W2008239401 hasRelatedWork W3134737311 @default.
• W2008239401 hasRelatedWork W3170130685 @default.
• W2008239401 hasRelatedWork W4249396541 @default.
• W2008239401 hasRelatedWork W2517823917 @default.
• W2008239401 hasVolume "30" @default.
• W2008239401 isParatext "false" @default.
• W2008239401 isRetracted "false" @default.
• W2008239401 magId "2008239401" @default.

• next