relation: http://eprints.imtlucca.it/133/
title: Experimenting with STA, a Tool for Automatic Analysis of Security Protocols
creator: Boreale, Michele
creator: Buscemi, Maria Grazia
subject: QA75 Electronic computers. Computer science
subject: QA76 Computer software
description: We present STA (Symbolic Trace Analyzer). a tool for the analysis  of security protocols. STA relies on symbolic techniques that avoid  explicit construction of the whole, possibly infinite, state-space of  protocols. This results in accurate protocol modeling, increased  efficiency and mere direct formalization, when compared to finitestate  techniques. We illustrate the use of STA by analyzing the  well-known asymmetric Needham Schroeder protocol. We discuss  the results of this analysis, and contrast them with previous work  based on finite-state model checking.
publisher: ACM Press
date: 2002
type: Book Section
type: PeerReviewed
identifier:   Boreale, Michele and Buscemi, Maria Grazia  Experimenting with STA, a Tool for Automatic Analysis of Security Protocols.   In:  Proceedings of ACM Symposium in Applied Computing (SAC ’02).   ACM Press, Madrid, pp. 281-285.  ISBN 1-58113-445-2       (2002)  
relation: http://dx.doi.org/10.1145/508791.508847
relation: 10.1145/508791.508847