A formal framework (Expression + Analysis) for network security.

Sat, 01 Jan 2005 00:00:00 +0100

Romain Laborde, François Barrère, Abdelmalek Benzekri:
A formal framework (Expression + Analysis) for network security. NCA 2005: 223-227