Bokus

Reynaldo Gil-Pons – författare

Visar alla böcker från författaren Reynaldo Gil-Pons. Handla med fri frakt och snabb leverans.

2 produkter

  1. Reynaldo Gil-Pons, Ross Horne, Sjouke Mauw, Felix Stutz, Semen Yurkov - Security Protocols and Threat Models, Inbunden. Tillgänglighet: Lägg i varukorg

    Security Protocols and Threat Models

    Security and Privacy via The Applied π-Calculus

    Av Reynaldo Gil-Pons, Ross Horne m. fl.

    Inbunden, 2025

    736 kr

    Lägg i varukorg

    Protocols connect the many devices used in our personal and professional lives. Hence we require assurances that they are secure in the face of threats.Security is too important to leave to intuition and experience alone. We need methodologies to precisely determine our security goals. A security …

  2. Semen Yurkov, Felix Stutz, Sjouke Mauw, Ross Horne, Reynaldo Gil-Pons - Security Protocols and Threat Models, E-bok. Tillgänglighet: Lägg i varukorg

    Security Protocols and Threat Models

    Security and Privacy via The Applied p-Calculus

    Av Semen Yurkov, Felix Stutz m. fl.

    E-bok, 2025

    877 kr

    Lägg i varukorg

    Protocols connect the many devices used in our personal and professional lives. Hence we require assurances that they are secure in the face of threats.Security is too important to leave to intuition and experience alone. We need methodologies to precisely determine our security goals. A security …