Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Cas Cremers; Sjouke Mauw
    978-3-540-78636-8
    2012
    Edition 1
    • Presents a methodology for formally describing security protocols and their environment
    • All technical chapters include problems, so the book is suited for graduate students of information security or formal methods
    • Authors show the application of the methodology and the effectiveness of the analysis tool
    • Includes supplementary material: sn.pub/extras
    • Includes supplementary material: sn.pub/extras

    €419

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.