Peter Amthor 0001, Martin Rabe. Command Dependencies in Heuristic Safety Analysis of Access Control Models. In Abdelmalek Benzekri, Michel Barbeau, Guang Gong, Romain Laborde, Joaquín García-Alfaro, editors, Foundations and Practice of Security - 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers. Volume 12056 of Lecture Notes in Computer Science, pages 207-224, Springer, 2019. [doi]