<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Experimenting with STA, a Tool for Automatic Analysis of Security Protocols"^^ . "We present STA (Symbolic Trace Analyzer). a tool for the analysis\r\nof security protocols. STA relies on symbolic techniques that avoid\r\nexplicit construction of the whole, possibly infinite, state-space of\r\nprotocols. This results in accurate protocol modeling, increased\r\nefficiency and mere direct formalization, when compared to finitestate\r\ntechniques. We illustrate the use of STA by analyzing the\r\nwell-known asymmetric Needham Schroeder protocol. We discuss\r\nthe results of this analysis, and contrast them with previous work\r\nbased on finite-state model checking."^^ . "2002" . . "ACM Press"^^ . . "ACM Press"^^ . . . . . . . . . . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . "Maria Grazia"^^ . "Buscemi"^^ . "Maria Grazia Buscemi"^^ . . . . . "HTML Summary of #133 \n\nExperimenting with STA, a Tool for Automatic Analysis of Security Protocols\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . . . "QA76 Computer software"@en . .