Concurrency and time in role-based access control

DOI10.1007/978-3-642-02633-1_5zbMATH Open1214.68108OpenAlexW1632470887MaRDI QIDQ3558779FDOQ3558779

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)