Back to Results
First PageMeta Content



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

Document Date: 2013-10-09 19:06:18

Open Document

File Size: 160,34 KB

Share Result on Facebook

City

Santiago / Causality / Saarbrücken / /

Company

CASPA / Needham / Microsoft / /

Country

Germany / /

Event

FDA Phase / /

Facility

Eindhoven University of Technology / Saarland University / AVISPA library / /

IndustryTerm

push-button tool / term rewriting systems / internet security protocols / avispa tool / secure protocols / cryptographic protocols / salient tools / early authentication protocols / security protocols / deployed products / /

Organization

Artificial Intelligence on Logic for Programming / Saarland University / Eindhoven University of Technology / /

Position

editor / translator / /

Product

CHAPv2 / TA4SP / /

ProgrammingLanguage

Objective CAML / /

ProvinceOrState

Saarland / /

Technology

artificial intelligence / Linux / security protocols / SSL / early authentication protocols / internet security protocols / /

URL

www.infsec.cs.uni-sb.de/caspa / /

SocialTag