Concurrency and Time in Role-Based Access Control

DOI10.1007/978-3-642-02633-1_5zbMath1214.68108OpenAlexW1632470887MaRDI QIDQ3558779

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

Petri netstemporal logicconcurrencytimeRBACGTRBAC

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

• Unnamed Item
• Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
• Recoverability of Communication Protocols--Implications of a Theoretical Study

This page was built for publication: Concurrency and Time in Role-Based Access Control