A comparison between strand spaces and multiset rewriting for security protocol analysis

7 March 2005

journal article
Published by IOS Press in Journal of Computer Security

Vol. 13 (2) , 265-316
https://doi.org/10.3233/jcs-2005-13203

Abstract

Formal analysis of security protocols is largely based on a set of assumptions commonly referred to as the Dolev–Yao model. Two formalisms that state the basic assumptions of this model are related here: strand spaces and multiset rewriting with exis

Keywords

STRAND SPACES
MODEL
SECURITY PROTOCOL
ANALYSIS FORMAL
MULTISET REWRITING
SPACES AND MULTISET
BASIC ASSUMPTIONS

This publication has 0 references indexed in Scilit: