"Linear-Time Verification of Firewalls."

Hrishikesh B. Acharya, Mohamed G. Gouda (2009)

Details and statistics

DOI: 10.1109/ICNP.2009.5339691

access: closed

type: Conference or Workshop Paper

metadata version: 2023-03-24