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

DOI10.1007/978-3-540-75596-8_34zbMath1141.68344OpenAlexW1738471120MaRDI QIDQ3510818

MoonZoo Kim

Publication date: 3 July 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75596-8_34

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Java-MaC: A run-time assurance approach for Java programs
• Formal verification of standards for distance vector routing protocols
• Model Checking Software

This page was built for publication: Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances