Abstract:
Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.Metadata
Abstract:
Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.