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

Romain Laborde, Franois Barrre, Abdelmalek Benzekri

Browse the full NCA paper archive.