Sjouke Mauw – författare
Visar alla böcker från författaren Sjouke Mauw. Handla med fri frakt och snabb leverans.
20 produkter
Security and Trust Management
15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26–27, 2019, Proceedings
Häftad, 2019
551 kr
Lägg i varukorg
This book constitutes the proceedings of the 15th International Workshop on Security and Trust Management, STM 2019, held in Luxembourg City, Luxembourg, in September 2019, and co-located with the 24th European Symposium Research in Computer Security, ESORICS 2019. The 9 full papers and 1 short …
Security and Trust Management
15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26–27, 2019, Proceedings
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 15th International Workshop on Security and Trust Management, STM 2019, held in Luxembourg City, Luxembourg, in September 2019, and co-located with the 24th European Symposium Research in Computer Security, ESORICS 2019. The 9 full papers and 1 short …
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 …
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 …
Security and Trust Management
10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings
Av Sjouke Mauw, Christian Damsgaard Jensen
Häftad, 2014
529 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Workshop on Security and Trust Management, STM 2014, held in Wroclaw, Poland, in September 2014, in conjunction with the 19th European Symposium Research in Computer Security, ESORICS 2014. The 11 revised full papers were …
Security and Trust Management
10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings
Av Christian Damsgaard Jensen, Sjouke Mauw
E-bok, 2014
657 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Workshop on Security and Trust Management, STM 2014, held in Wroclaw, Poland, in September 2014, in conjunction with the 19th European Symposium Research in Computer Security, ESORICS 2014. The 11 revised full papers were …
Graphical Models for Security
Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Av Sjouke Mauw, Barbara Kordy m. fl.
Häftad, 2016
478 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015.The 5 revised full papers presented together with one short tool paper and one invited lecture were …
Graphical Models for Security
Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Av Sushil Jajodia, Barbara Kordy m. fl.
E-bok, 2016
624 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015. The 5 revised full papers presented together with one short tool paper and one invited lecture were …
Trust Management X
10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
Av Sheikh Mahbub Habib, Julita Vassileva m. fl.
Inbunden, 2016
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2016, held in Darmstadt, Germany, in July 2016. The 7 revised full papers and 7 short papers presented together with an invited paper were carefully reviewed and selected …
Trust Management X
10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
Av Max Muhlhauser, Sjouke Mauw m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2016, held in Darmstadt, Germany, in July 2016. The 7 revised full papers and 7 short papers presented together with an invited paper were carefully reviewed and selected …
Graphical Models for Security
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Av Peng Liu, Sjouke Mauw m. fl.
Häftad, 2018
478 kr
Lägg i varukorg
This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017. The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book …
Graphical Models for Security
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Av Ketil Stolen, Sjouke Mauw m. fl.
E-bok, 2018
638 kr
Lägg i varukorg
This book constitutes revised selected papers from the 4 th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017. The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The …
Trust Management X
10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
Av Sheikh Mahbub Habib, Julita Vassileva m. fl.
Häftad, 2018
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2016, held in Darmstadt, Germany, in July 2016. The 7 revised full papers and 7 short papers presented together with an invited paper were carefully reviewed and selected …
CONCUR'99. Concurrency Theory
10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
Av Sjouke Mauw, Jos C.M. Baeten
E-bok, 2003
1459 kr
Lägg i varukorg
CONCUR'99. Concurrency Theory
10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
Av Jos C.M. Baeten, Sjouke Mauw
Häftad, 1999
1095 kr
Lägg i varukorg
This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99) held in Eindhoven, The Netherlands, 24-27 August 1999. ThepurposeoftheCONCURconferencesistobringtogetherresearchers,- velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromote its …
Public Key Infrastructure
5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008, Proceedings
Av Stig F. Mjølsnes, Sjouke Mauw m. fl.
Häftad, 2008
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th European Public Key Infrastructure Workshop: Theory and Practice, EuroPKI 2008, held in Trondheim, Norway, in June 2008. The 15 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 37 …
Public Key Infrastructure
5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008, Proceedings
Av Sokratis Katsikas, Sjouke Mauw m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th European Public Key Infrastructure Workshop: Theory and Practice, EuroPKI 2008, held in Trondheim, Norway, in June 2008. The 15 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 37 …
Operational Semantics and Verification of Security Protocols
Inbunden, 2012
736 kr
Lägg i varukorg
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. …
Operational Semantics and Verification of Security Protocols
E-bok, 2012
732 kr
Lägg i varukorg
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. …
Operational Semantics and Verification of Security Protocols
Häftad, 2014
567 kr
Lägg i varukorg
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. …
