Xavier Hannotin

  • Citations Per Year
Learn More
This paper shows how cryptographic protocols for mobile agent data integrity properties can be formally specified by using spi calculus, an extension of calculus with cryptographic properties. In particular, by means of a case study, it is shown how a specification technique initially conceived only for classical cryptographic protocols can be used in the(More)
The aim of the work presented in this paper is to check cryptographic protocols for mobile agents against both network intruders and malicious hosts using formal methods. We focus attention on data integrity properties and show how the techniques used for classical message-based protocols such as authentication protocols can be applied to mobile agent(More)
  • 1