Skip to content

Symbolic analysis of network security policies using rewrite systems.

Tony Bourdier, Horatiu Cirstea

VenueCPPDP
Year2011
ProceedingsPPDP

Browse the full PPDP paper archive.