{"product_id":"9783032082480","title":"Information Security and Cryptography: Security and Privacy via The Applied π-Calculus","description":"\u003ch1\u003eInformation Security and Cryptography: Security and Privacy via The Applied π-Calculus\u003c\/h1\u003e \u003ch2\u003eGil-Pons, Reynaldo; Horne, Ross; Mauw, Sjouke; Stutz, Felix; Yurkov, Semen\u003c\/h2\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\n\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\n\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\n\u003cp\u003e\u003cstrong\u003eTopics and features:\u003c\/strong\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003eThe learning curve brings readers to the edge of the topic of security protocols.\u003c\/li\u003e\n\u003cli\u003eMultiple security and privacy properties and threats are expressed in a core calculus.\u003c\/li\u003e\n\u003cli\u003eLarge real-world case studies showcase the methods in practice.\u003c\/li\u003e\n\u003cli\u003eThe theory informs the accurate usage of tools for checking security protocols.\u003c\/li\u003e\n\u003cli\u003eMinimal protocols are selected to cleanly illustrate new concepts.\u003c\/li\u003e\n\u003c\/ul\u003e\n\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\n\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\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2025-11-25\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9783032082480\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-032-08249-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 224\u003c\/p\u003e ","brand":"Springer Nature Switzerland","offers":[{"title":"Default Title","offer_id":44480107118732,"sku":"9783032082480","price":62.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783032082480.jpg?v=1775011696","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783032082480","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}