Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta. Checking the Expressivity of Firewall Languages. In Mário S. Alvim, Kostas Chatzikokolakis 0001, Carlos Olarte, Frank Valencia, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Volume 11760 of Lecture Notes in Computer Science, pages 86-100, Springer, 2019. [doi]
Abstract is missing.