A formal approach for the identification of redundant authorization policies in Kubernetes. - Ehtesham Zahoor; Maryam Chaudhary; Sabina Akhtar; Olivier Perrin 001 (Comput. Secur., 2023)