Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Security and Privacy via The Applied π-Calculus
    Reynaldo Gil-Pons; Ross Horne; Sjouke Mauw; Felix Stutz; Semen Yurkov
    978-3-032-08249-7
    2026
    Edition 1
    • The learning curve brings readers to the edge of the topic of security protocols
    • Multiple security and privacy properties and threats expressed in a core calculus
    • The theory informs the accurate usage of tools for checking security protocols
    • https://github.com/sn-code-inside/security-protocols-and-threat-models

    €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.