Embedding CSP in PVS . An Application to

  • AuthenticationProtocolsBruno Dutertrey Steve Schneiderz
  • Published 1997
In [28], Schneider applies CSP to the modelling and analysis of authentication protocols and develops a general proof strategy for verifying authentication properties. This paper shows how the PVS theorem prover can provide e ective mechanical support to the approach.