Bokus

Ross Horne – författare

Visar alla böcker från författaren Ross Horne. Handla med fri frakt och snabb leverans.

6 produkter

  1. Massimiliano Albanese, Ross Horne, Christian W. Probst - Graphical Models for Security, Häftad. Tillgänglighet: Lägg i varukorg

    Graphical Models for Security

    6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers

    Av Massimiliano Albanese, Ross Horne m. fl.

    Häftad, 2019

    567 kr

    Lägg i varukorg

    This book constitutes revised papers from the 6th International Workshop on Graphical Models for Security, GraMSec 2019, held in Hoboken, NJ, USA, in June 2019. The 8 full papers presented in this volume were carefully reviewed and selected from 15 submissions. The book also contains two invited …

  2. Christian W. Probst, Ross Horne, Massimiliano Albanese - Graphical Models for Security, E-bok. Tillgänglighet: Lägg i varukorg

    Graphical Models for Security

    6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers

    Av Christian W. Probst, Ross Horne m. fl.

    E-bok, 2019

    755 kr

    Lägg i varukorg

    This book constitutes revised papers from the 6th International Workshop on Graphical Models for Security, GraMSec 2019, held in Hoboken, NJ, USA, in June 2019. The 8 full papers presented in this volume were carefully reviewed and selected from 15 submissions. The book also contains two invited …

  3. 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 …

  4. 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 …

  5. Ross Horne - Embracing Global Computing in Emerging Economies, Häftad. Tillgänglighet: Lägg i varukorg

    Embracing Global Computing in Emerging Economies

    First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings

    Av Ross Horne

    Häftad, 2015

    567 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the First Workshop on Embracing Global Computing in Emerging Economies, EGC 2015, held in Almaty, Kazakhstan, in February 2015.The 13 revised full papers presented were carefully reviewed and selected from 28 submissions. The papers focus on the …

  6. Ross Horne - Embracing Global Computing in Emerging Economies, E-bok. Tillgänglighet: Lägg i varukorg

    Embracing Global Computing in Emerging Economies

    First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings

    Av Ross Horne

    E-bok, 2015

    755 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the First Workshop on Embracing Global Computing in Emerging Economies, EGC 2015, held in Almaty, Kazakhstan, in February 2015. The 13 revised full papers presented were carefully reviewed and selected from 28 submissions. The papers focus on the …