The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis

A Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper) Michael Backes1,2 , Stefan Lorenz1 , Matteo Maffei1 , and Kim Pecina1 1 Saarland University, Saarbr

• Type: Conference
• Year: 2008
• Where: CAV
• Authors: Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
• Keywords: Causality-based Abstraction, CAV 2008, Concurrent Protocol Executions, Hardware, Protocol Executions