{"product_id":"security-protocols-and-threat-models-security-and-privacy-via-the-applied-960-calculus-hardcover","title":"Security Protocols and Threat Models: Security and Privacy Via the Applied \u0026#960;-Calculus - Hardcover","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eReynaldo Gil-Pons\u003c\/b\u003e (Author), \u003cb\u003eRoss Horne\u003c\/b\u003e (Author), \u003cb\u003eSjouke Mauw\u003c\/b\u003e (Author)\u003c\/p\u003e\u003ch3\u003eBack Jacket\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eProtocols connect the many devices used in our personal and professional lives. Hence we require assurances that they are secure in the face of threats.\u003c\/p\u003e \u003cp\u003eSecurity is too important to leave to intuition and experience alone. We need methodologies to precisely determine our security goals. A security property is one that holds despite the best efforts of an attacker, as captured by a threat model. When attacking a protocol, an eavesdropper may inject messages leading to sessions being hijacked and other data breaches.\u003c\/p\u003e \u003cp\u003eThis textbook goes from intuition, to theory, to tools, explaining different security properties. Ubiquitous protocols keep the discussion real: ePassport protocols used at border checkpoints; the EMV protocol for contactless payments; and Open ID Connect used to sign in to websites. Even threats enabling car theft via relay attacks are taken into consideration by authenticating proximity. The book also analyses threats to privacy such as tracking, mitigated by making sessions unlinkable.\u003c\/p\u003e \u003cp\u003e\u003cstrong\u003eTopics and features: \u003c\/strong\u003e\u003c\/p\u003e \u003cul\u003e \u003cli\u003eThe learning curve brings readers to the edge of the topic of security protocols.\u003c\/li\u003e \u003cli\u003eMultiple security and privacy properties and threats are expressed in a core calculus.\u003c\/li\u003e \u003cli\u003eLarge real-world case studies showcase the methods in practice.\u003c\/li\u003e \u003cli\u003eThe theory informs the accurate usage of tools for checking security protocols.\u003c\/li\u003e \u003cli\u003eMinimal protocols are selected to cleanly illustrate new concepts.\u003c\/li\u003e \u003c\/ul\u003e \u003cp\u003eThis textbook is designed to take readers with some grounding in computer science to the edge of the field of security protocols. Additionally, it can serve as a highly useful reference for established researchers and security professionals branching out into threat modelling.\u003c\/p\u003e \u003cp\u003e\u003cstrong\u003eReynaldo Gil-Pons\u003c\/strong\u003e, \u003cstrong\u003eFelix Stutz\u003c\/strong\u003e and \u003cstrong\u003eSemen Yurkov\u003c\/strong\u003e were postdoctoral researchers in the Security and Trust of Software Systems group headed by \u003cstrong\u003eSjouke Mauw\u003c\/strong\u003e, professor at University of Luxembourg. \u003cstrong\u003eRoss Horne\u003c\/strong\u003e directs the Cyber Security MSc at University of Strathclyde, UK.\u003c\/p\u003e\u003ch3\u003eAuthor Biography\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eReynaldo Gil-Pons is a research engineer at NearOne. He completed his PhD in 2024 at the University of Luxembourg, under the supervision of Sjouke Mauw and Rolando Trujillo Rasua, on the formal verification and development of secure memory erasure protocols. His current research is focused on the development and implementation of cryptographic applications, with a focus on multi-party computation protocols.\u003c\/p\u003e \u003cp\u003eRoss Horne is a senior lecturer at University of Strathclyde, Glasgow, where he directs the Cyber Security MSc. Previously, he was a research scientist in cyber security labs at Nanyang Technological University, Singapore, and at University of Luxembourg. His work focusses on security and privacy of protocols such as ePassports, contactless payments, and multiparty authentication protocols. He designs logical systems inspired by problems in concurrency and security. He is prototyping protocols to demonstrate the practical feasibility of implementing protocols with stronger security and privacy guarantees.\u003c\/p\u003e \u003cp\u003eSjouke Mauw is professor in computer security at the University of Luxembourg. He holds a Master in Mathematics and a PhD in Computer Science from the University of Amsterdam. He is head of the SaToSS (Security and Trust of Software Systems) research group, which focuses on the application of formal methods to the design and analysis of secure systems. His research interests include security protocols, e-voting, security assessment, trust and risk management, privacy, and attack trees.\u003c\/p\u003e \u003cp\u003eFelix Stutz is a postdoctoral researcher at the University of Luxembourg. He conducted his doctoral research at the Max Planck Institute for Software Systems and obtained his PhD from the University of Kaiserslautern-Landau. His research focuses on formal methods for security and software verification, with applications to security protocols and message-passing programs.\u003c\/p\u003e \u003cp\u003eSemen Yurkov is a postdoctoral researcher at the University of Rovira i Virgili, Spain. He completed his PhD at the University of Luxembourg, where he worked with Sjouke Mauw and Ross Horne on verifying security and privacy of smartcard-based payment protocols. His current research focuses on the formal verification of systems that aim to provide provenance tracking and tamper detection for digital content.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 224\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.56 x 9.21 x 6.14 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eIllustrated:\u003c\/strong\u003e Yes\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e November 25, 2025\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":53343102468403,"sku":"9783032082480","price":120.38,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0300\/5595\/6612\/files\/sLkMTtT9D59783032082480.webp?v=1778705654","url":"https:\/\/www.vysn.com\/en-ca\/products\/security-protocols-and-threat-models-security-and-privacy-via-the-applied-960-calculus-hardcover","provider":"VYSN","version":"1.0","type":"link"}