On Scalability and Modularisation in the Modelling of Network Security Systems

João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus. On Scalability and Modularisation in the Modelling of Network Security Systems. In Sabrina De Capitani di Vimercati, Paul F. Syverson, Dieter Gollmann, editors, Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings. Volume 3679 of Lecture Notes in Computer Science, pages 287-304, Springer, 2005. [doi]

Abstract

Abstract is missing.