Concurrency and time in role-based access control

DOI10.1007/978-3-642-02633-1_5MaRDI QIDQ3558779zbMATH OpenOpenAlexFDO

Authors Chia-Chu Chiang, Coskun Bayrak

Publication date 10 May 2010

Published in Advances in Information Security and Its Application (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02633-1_5

zbMATH Keywords

timeconcurrencyPetri netstemporal logicRBACGTRBAC

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 2112359
• scientific article; zbMATH DE number 2100554
• A Logical Approach to Dynamic Role-Based Access Control
• A Temporal Semantic-Based Access Control Model
• Policy analysis for administrative role-based access control

Cites work

• scientific article; zbMATH DE number 3557247 (Why is no real title available?)
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

Cited in

(7)

• Representation of semantic role based access control system by a colored Petri net
• A SAT based verification framework for wireless LAN security policy management supported by STRBAC model
• scientific article; zbMATH DE number 2100554 (Why is no real title available?)
• scientific article; zbMATH DE number 2112345 (Why is no real title available?)
• scientific article; zbMATH DE number 2112359 (Why is no real title available?)
• A role-based access control Petri net and a negotiation tree model
• Time dependent policy-based access control

This page was built for publication: Concurrency and time in role-based access control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558779)