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

13 years 6 months ago

Download www.infsec.cs.uni-saarland.de

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

Michael Backes, Stefan Lorenz, Matteo Maffei, Kim

Real-time Traffic

Causality-based Abstraction | CAV 2008 | Concurrent Protocol Executions | Hardware | Protocol Executions |

claim paper

» Analysis of KeyExchange Protocols and Their Use for Building Secure Channels

» Towards computationally sound symbolic analysis of key exchange protocols

» Degrees of Security Protocol Guarantees in the Face of Compromising Adversaries

» EndtoEnd Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

» Modeling and Analyzing Security in the Presence of Compromising Adversaries

» A Lightweight Formal Analysis of a Multicast Key Management Scheme

» Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures

» Using Argumentation Logic for Firewall Policy Specification and Analysis

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	CAV
Authors	Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina

Comments (0)

Sciweavers

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

Causality-based Abstraction | CAV 2008 | Concurrent Protocol Executions | Hardware | Protocol Executions |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers