Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances.

Moonzoo Kim

Browse the full ATVA paper archive.