Efficient verification of security protocols using partial-order reductions

Abstract. In this paper we explore how partial-order reduction can make the task of verifying security protocols more efficient. These reduction techniques have been implemented in our tool Brutus. Partial-order reductions have proved very useful in the domain of model checking reactive systems. The...
Ausführliche Beschreibung

Gespeichert in:
Autor*in:

Clarke, Edmund [verfasserIn]

Jha, Somesh

Marrero, Will

Format:

Artikel

Sprache:

Englisch

Erschienen:

2003

Anmerkung:

© Springer-Verlag 2003

Übergeordnetes Werk:

Enthalten in: International journal on software tools for technology transfer - Springer-Verlag, 1997, 4(2003), 2 vom: Feb., Seite 173-188

Übergeordnetes Werk:

volume:4 ; year:2003 ; number:2 ; month:02 ; pages:173-188

Links:

Volltext

DOI / URN:

10.1007/s10009-002-0103-4

Katalog-ID:

OLC2051500177

Nicht das Richtige dabei?

Schreiben Sie uns!