Information Security and Cryptography – serie
Visar alla böcker i serien Information Security and Cryptography. Handla med fri frakt och snabb leverans.
60 produkter
Computer Security and the Internet
Tools and Jewels from Malware to Bitcoin
Inbunden, 2021
769 kr
Lägg i varukorg
This book provides a concise yet comprehensive overview of computer and Internet security, suitable for a one-term introductory course for junior/senior undergrad or first-year graduate students. It is also suitable for self-study by anyone seeking a solid footing in security – including software …
Modelling and Verification of Secure Exams
Häftad, 2019
569 kr
Lägg i varukorg
In this book the author introduces a novel approach to securing exam systems. He provides an in-depth understanding, useful for studying the security of exams and similar systems, such as public tenders, personnel selections, project reviews, and conference management systems.After a short chapter …
Theory of Hash Functions and Random Oracles
An Approach to Modern Cryptography
Av Arno Mittelbach, Marc Fischlin
Inbunden, 2021
1018 kr
Lägg i varukorg
Hash functions are the cryptographer’s Swiss Army knife. Even though they play an integral part in today’s cryptography, existing textbooks discuss hash functions only in passing and instead often put an emphasis on other primitives like encryption schemes. In this book the authors take a different …
Theory of Hash Functions and Random Oracles
An Approach to Modern Cryptography
Av Arno Mittelbach, Marc Fischlin
Häftad, 2022
736 kr
Lägg i varukorg
Hash functions are the cryptographer’s Swiss Army knife. Even though they play an integral part in today’s cryptography, existing textbooks discuss hash functions only in passing and instead often put an emphasis on other primitives like encryption schemes. In this book the authors take a different …
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
Av Yan Lin
Häftad, 2021
1128 kr
Lägg i varukorg
There are three fundamental components in Control-Flow Integrity (CFI) enforcement. The first component is accurately recovering the policy (CFG). Usually, the more precise the policy is, the more security CFI improves, but precise CFG generation was considered hard without the support of source …
Complete Guide to SCION
From Design Principles to Formal Verification
Av Laurent Chuat, Markus Legner m. fl.
Inbunden, 2022
1467 kr
Lägg i varukorg
When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publication of SCION: A Secure Internet Architecture, this next-generation Internet architecture has evolved in …
Complete Guide to SCION
From Design Principles to Formal Verification
Av Laurent Chuat, Markus Legner m. fl.
Häftad, 2023
1018 kr
Lägg i varukorg
When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publication of SCION: A Secure Internet Architecture, this next-generation Internet architecture has evolved in …
Guide to Internet Cryptography
Security Protocols and Real-World Attack Implications
Av Jörg Schwenk
Inbunden, 2022
962 kr
Lägg i varukorg
Research over the last two decades has considerably expanded knowledge of Internet cryptography, revealing the important interplay between standardization, implementation, and research.This practical textbook/guide is intended for academic courses in IT security and as a reference guide for …
Guide to Internet Cryptography
Security Protocols and Real-World Attack Implications
Av Jörg Schwenk
Häftad, 2023
679 kr
Lägg i varukorg
Research over the last two decades has considerably expanded knowledge of Internet cryptography, revealing the important interplay between standardization, implementation, and research.This practical textbook/guide is intended for academic courses in IT security and as a reference guide for …
Lattice-Based Cryptography
From Theory to Practice
Av Máire O'Neill, Francesco Regazzoni m. fl.
Inbunden, 2028
2498 kr
Kommande
Lattice-based cryptography is a promising post-quantum cryptographic approach that can withstand potential attacks from future quantum computers. This book will introduce the theoretical mathematics that underpins lattice-based cryptography, such as the hard problems based on lattices upon which …
Fault-Tolerant Distributed Consensus in Synchronous Networks
Av Ashish Choudhury, Arpita Patra
Häftad, 2025
1349 kr
Lägg i varukorg
Fault-tolerant distributed consensus is a fundamental concept, both in cryptography as well as distributed computing. Ever since the inception of the problem by Lamport et al in 1982, the problem has been widely studied, both in cryptography as well as distributed computing community and several …
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Av David Basin, Cas Cremers m. fl.
Inbunden, 2025
625 kr
Lägg i varukorg
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks. Tamarin is a robust and powerful …
Round and Computational Efficiency of Multi-party Protocols
Av Michele Ciampi, Luisa Siniscalchi
Inbunden, 2025
2253 kr
Lägg i varukorg
Cryptographic protocols are the backbone of secure digital interactions, but achieving both security and efficiency is a challenging balancing act. The challenge is how to minimize computational costs and reduce interaction while maintaining provable security. This book explores cutting-edge …
Guide to Feistel Ciphers
Security Proofs and Cryptanalysis
Av Jacques Patarin, Emmanuel Volte m. fl.
Inbunden, 2026
906 kr
Lägg i varukorg
Feistel networks are one of the easiest ways to build pseudorandom permutations. Thanks to this property, many secret key algorithms (symmetric ciphers) have been designed as Feistel networks, and it is possible to design many others. The most famous of them is probably the Data Encryption Standard …
Introduction to Security Science
Basic Concepts and Mathematical Foundations
Av Dusko Pavlovic, Peter-Michael Seidel
Inbunden, 2026
716 kr
Lägg i varukorg
Everyone needs security: Nations need national security, corporations need corporate security, individuals need personal security, cybersecurity, AI security. What is the common denominator of these security concepts? Security and science are the building blocks of the modern civilization. Science …
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 …
Cryptography Made Simple
Av Nigel Smart
Inbunden, 2015
401 kr
Lägg i varukorg
In this introductory textbook the author explains the key topics in cryptography. He takes a modern approach, where defining what is meant by "secure" is as important as creating something that achieves that goal, and security definitions are central to the discussion throughout.The author balances …
Secure Data Deletion
Av Joel Reardon
Inbunden, 2016
1467 kr
Lägg i varukorg
This book is the first to develop a systematized approach for the comparison and evaluation of secure deletion solutions. The book focuses on novel secure deletion solutions targeting specific real-world environments where secure deletion is problematic: mobile storage and remote storage. The …
Cryptography Made Simple
Av Nigel Smart
Häftad, 2016
390 kr
Lägg i varukorg
In this introductory textbook the author explains the key topics in cryptography. He takes a modern approach, where defining what is meant by "secure" is as important as creating something that achieves that goal, and security definitions are central to the discussion throughout.The author balances …
Tutorials on the Foundations of Cryptography
Dedicated to Oded Goldreich
Inbunden, 2017
1018 kr
Lägg i varukorg
This is a graduate textbook of advanced tutorials on the theory of cryptography and computational complexity. In particular, the chapters explain aspects of garbled circuits, public-key cryptography, pseudorandom functions, one-way functions, homomorphic encryption, the simulation proof technique, …
SCION: A Secure Internet Architecture
Av Adrian Perrig, Pawel Szalachowski m. fl.
Inbunden, 2017
569 kr
Lägg i varukorg
This book describes the essential components of the SCION secure Internet architecture, the first architecture designed foremost for strong security and high availability. Among its core features, SCION also provides route control, explicit trust information, multipath communication, scalable …
Modelling and Verification of Secure Exams
Inbunden, 2018
537 kr
Lägg i varukorg
In this book the author introduces a novel approach to securing exam systems. He provides an in-depth understanding, useful for studying the security of exams and similar systems, such as public tenders, personnel selections, project reviews, and conference management systems.After a short chapter …
Secure Data Deletion
Av Joel Reardon
Häftad, 2018
1467 kr
Lägg i varukorg
This book is the first to develop a systematized approach for the comparison and evaluation of secure deletion solutions. The book focuses on novel secure deletion solutions targeting specific real-world environments where secure deletion is problematic: mobile storage and remote storage. The …
Tutorials on the Foundations of Cryptography
Dedicated to Oded Goldreich
Häftad, 2018
736 kr
Lägg i varukorg
This is a graduate textbook of advanced tutorials on the theory of cryptography and computational complexity. In particular, the chapters explain aspects of garbled circuits, public-key cryptography, pseudorandom functions, one-way functions, homomorphic encryption, the simulation proof technique, …
SCION: A Secure Internet Architecture
Av Adrian Perrig, Pawel Szalachowski m. fl.
Häftad, 2018
569 kr
Lägg i varukorg
This book describes the essential components of the SCION secure Internet architecture, the first architecture designed foremost for strong security and high availability. Among its core features, SCION also provides route control, explicit trust information, multipath communication, scalable …
Science of Quantitative Information Flow
Av Mário S. Alvim, Konstantinos Chatzikokolakis m. fl.
Inbunden, 2020
660 kr
Lägg i varukorg
This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that certain information leaks are small enough to be tolerated – and how systems can be constructed that …
Concurrent Zero-Knowledge
With Additional Background by Oded Goldreich
Av Alon Rosen
Inbunden, 2006
1128 kr
Lägg i varukorg
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze- knowledge proofs are convincing and yet yield nothing beyond the validity of the assertion being proved. Their applicability in the domain of …
Formal Correctness of Security Protocols
Inbunden, 2007
569 kr
Lägg i varukorg
Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties.The author investigates proofs of …
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. …
Practical Signcryption
Av Alexander W. Dent, Yuliang Zheng
Inbunden, 2010
1128 kr
Lägg i varukorg
In today’s world, data must be sent around the world cheaply and securely, and that requires origin authentication, integrity protection, and confidentiality – the recipient of a message should be able to ascertain who sent the message, be sure that the message has not been changed en route, and be …
