Checking secrecy by means of partial order reduction

C.J.F. Cremers, S. Mauw

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)


We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction, we develop an automatic tool that can check security protocols for secrecy, given a finite execution scenario. We compare this tool to several other tools.
Originele taal-2Engels
TitelSystem Analysis and Modelling (4th International SDL and MSC Workshop, SAM'04, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers)
RedacteurenD. Amyot, A.W. Williams
Plaats van productieBerlin
ISBN van geprinte versie3-540-24561-8
StatusGepubliceerd - 2005

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Checking secrecy by means of partial order reduction'. Samen vormen ze een unieke vingerafdruk.

Citeer dit