SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Abstracting cryptographic protocols with tree automata
 by David Monniaux.

Abstract
Cryptographic protocols have so far been analyzed for the most part by means of testing (which does not yield proofs of secrecy) and theorem proving (costly). We propose a new approach, based on the abstract domain of regular tree languages. While the abstraction we use seems fine-grained enough to be able to certify some protocols, there are still complexity issues to be solved. Both the formal semantics and implementation issues are discussed in the paper.
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy