Roland Rieke. Modelling and Analysing Network Security Policies in a Given Vulnerability Setting. In Javier López, editor, Critical Information Infrastructures Security, First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006, Revised Papers. Volume 4347 of Lecture Notes in Computer Science, pages 67-78, Springer, 2006. [doi]
Abstract is missing.