On the decidability of accessibility problems (extended abstract)

DOI10.1145/335305.335341MaRDI QIDQ3191998zbMATH OpenOpenAlexFDO

Authors Rina Panigrahy, Vijay Saraswat, Suresh Ventkatasubramanian, Rajeev Motwani

Publication date 26 September 2014

Published in Proceedings of the thirty-second annual ACM symposium on Theory of computing (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Recommendations

• Safety in grammatical protection systems
• On the decidability of the safety problem for access control policies
• On Complexity of Grammars Related to the Safety Problem
• On complexity of grammars related to the safety problem
• Decidability of safety in graph-based models for access control

Cited in

(9)

• On the decidability of the safety problem for access control policies
• Creation and reflexive rights in grammatical protection systems
• Nivat's processing systems: decision problems related to protection and synchronization
• Single semi-contextual insertion-deletion systems
• On complexity of grammars related to the safety problem
• The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates
• Universal insertion grammars of size two
• Safety analysis of the dynamic-typed access matrix model
• scientific article; zbMATH DE number 7584595 (Why is no real title available?)

This page was built for publication: On the decidability of accessibility problems (extended abstract)

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