Romain Laborde, François Barrère, Abdelmalek Benzekri. A formal framework (Expression + Analysis) for network security. In Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USA. pages 223-227, IEEE Computer Society, 2005. [doi]
Abstract is missing.