A Z Based Approach to Verifying Security Protocols.

Benjamin W. Long, Colin J. Fidge, Antonio Cerone

Browse the full ICFEM paper archive.