Beyond separation of duty

DOI10.1145/1379759.1379760MaRDI QIDQ3546369zbMATH OpenOpenAlexFDO

Authors Ninghui Li, Qihua Wang

Publication date 21 December 2008

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1379759.1379760

zbMATH Keywords

access controlseparation of dutypolicy design

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62) Network protocols (68M12)

Recommendations

• Applications and Theory of Petri Nets 2005
• scientific article; zbMATH DE number 2100573
• An algebra to represent security policies for cryptography-based secure storage systems
• Process algebra contexts and security properties
• scientific article; zbMATH DE number 1090100
• scientific article; zbMATH DE number 1864587
• An algebra for composing enterprise privacy policies
• Dynamics security policies and process opacity for timed process algebras
• Dealing with multi-policy security in large open distributed systems

Cited in

(2)

• Algebra and logic for access control
• On the satisfiability of authorization requirements in business process

This page was built for publication: Beyond separation of duty

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