Search Results - protocol modeling and verification

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    The modelling and analysis of security protocols the CSP approach by Ryan, Peter

    Published 2001
    Subjects: “…Computer software Verification…”
    Click Here to View Status and Holdings.
    Book