Development of a cryptographic protocol by stepwise refinement using cogito methodology:part 1
Wendy Johnston · 2000
The Cogito methodology has been used to develop a formal specification of three steps of a cryptographic protocol. In the most abstract specification the properties of condentiality and authentication are specified. Three subsequent refinements develop the protocol, ensuring the properties of confidentiality and authentification are preserved.