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

First Page		Document Content
Date: 2013-10-09 19:06:18		The CASPA Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper) Michael Backes1,2, Stefan Lorenz1 , Matteo Maffei1 , and Kim Pecina1 1 Add to Reading List Source URL: sps.cs.uni-saarland.de Download Document from Source Website File Size: 160,34 KB Share Document on Facebook