Giuseppina Rucci

Learn More
This paper reports on work in progress on using rewriting techniques for the specification and the verification of communication protocols. As in Genet and Klay's approach to formalizing protocols, a rewrite system R describes the steps of the protocol and an intruder's ability of decomposing and decrypting messages, and a tree automaton A encodes the(More)
This paper presents a rewriting strategy for the analysis and the verification of communication protocols. In a way similar to the approximation technique defined by Genet and Klay, a rewrite system R specifies the protocol and a tree automaton A describes the initial set of communication requests. Given a term t that represents a property to be proved, a(More)
  • 1