Resultados de Pesquisa

INGLÊS

Introduction To Security Science - Basic Concepts And Mathematical Foundations

de Dusko Pavlovic e Peter-Michael Seidel

~~74,34€~~ 66,91€ 10% IMEDIATO

portes grátis

 Everyone needs security: Nations need national security, corporations need corporate security, individuals need personal security, cybersecurity, AI security.
INGLÊS

Modeling And Analyzing Security Protocols With Tamarin - A Comprehensive Guide

de Cas Cremers, David Basin, Jannik Dreier e Ralf Sasse

~~67,58€~~ 60,82€ 10% IMEDIATO

portes grátis

 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.
INGLÊS

Fault-Tolerant Distributed Consensus In Synchronous Networks

de Arpita Patra e Ashish Choudhury

~~148,70€~~ 133,83€ 10% IMEDIATO

portes grátis

 Traditionally, the consensus protocols are studied either in the synchronous or in the asynchronous communication setting and very often the protocols in the former category serve as the basis for the protocols in the latter category.
INGLÊS

Fault-Tolerant Distributed Consensus In Synchronous Networks

de Arpita Patra e Ashish Choudhury

~~145,09€~~ 130,58€ 10% IMEDIATO

DISPONIBILIDADE IMEDIATA

 Traditionally, the consensus protocols are studied either in the synchronous or in the asynchronous communication setting and very often the protocols in the former category serve as the basis for the protocols in the latter category.
INGLÊS

Concise Guide To Electrochemical Methods And Voltammetry - A Problem-Based Test Prep For Students

de Xian Wen Ng

74,34€ + 10% EM CARTÃO

portes grátis

 This book provides targeted support for students taking courses at the undergraduate level involving electrochemical methods and voltammetry, precision analytical techniques used in chemical engineering, chemical research and development, and pharmaceutical science.
INGLÊS

Guide To Internet Cryptography - Security Protocols And Real-World Attack Implications

de Jorg Schwenk

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 <div>Research over the last two decades has considerably expanded knowledge of Internet cryptography, revealing the important interplay between standardization, implementation, and research.</div><div><br></div><div>This practical textbook/guide is intended for academic courses in IT security and as a reference guide for Internet security. It describes important Internet standards in a language close to real-world cryptographic research and covers the essential cryptographic standards used on the Internet, from WLAN encryption to TLS and e-mail security. From academic and non-academic research, the book collects information about attacks on implementations of these standards (because these attacks are the main source of new insights into real-world cryptography). By summarizing all this in one place, this useful volume can highlight cross-influences in standards, as well as similarities in cryptographic constructions.</div><div><br></div><div>Topics and features:</div><div><br></div><div>· Covers the essential standards in Internet cryptography</div><div><br></div><div>· Integrates work exercises and problems in each chapter</div><div><br></div><div>· Focuses especially on IPsec, secure e-mail and TLS</div><div><br></div><div>· Summarizes real-world cryptography in three introductory chapters</div><div><br></div><div>· Includes necessary background from computer networks</div><div><br></div><div>· Keeps mathematical formalism to a minimum, and treats cryptographic primitives mainly as blackboxes</div><div><br></div>· Provides additional background on web security in two concluding chapters<div><br></div><div>Offering a uniquely real-world approach to Internet cryptography, this textbook/reference will be highly suitable to students in advanced courses on cryptography/cryptology, as well as eminently useful to professionals looking to expand their background and expertise.</div><div><br></div><div>Professor Dr. Jörg Schwenk holds the Chair for Network and Data Security at the Ruhr University in Bochum, Germany. He (co-)authored about 150 papers on the book’s topics, including for conferences like ACM CCS, Usenix Security, IEEE S&P, and NDSS.</div>
INGLÊS

The Management Of Enclosed And Domesticated Deer - International Husbandry Systems And Diseases

148,70€ + 10% EM CARTÃO

portes grátis

 This is the first book devoted to international deer husbandry techniques for the growing industries of venison, velvet antler, and antler trophy production as well as long established extensive park systems for amenity.
INGLÊS

Complete Guide To Scion - From Design Principles To Formal Verification

de Adrian Perrig, David Basin, David Hausheer, Laurent Chuat, Markus Legner, Peter Muller e Samuel Hitz

105,34€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 <p>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 <i>SCION: A Secure Internet Architecture,</i> this next-generation Internet architecture has evolved in terms of both design and deployment.</p><p>On the one hand, there has been development of exciting new concepts and systems, including a new global time-synchronization system, an inter-domain approach for bandwidth reservations called COLIBRI, and Green Networking, which allows combating global climate change on three fronts. On the other hand, SCION is now also in production use by the Swiss financial ecosystem, and enables participants such as the Swiss National Bank, the Swiss provider of clearing services (SIX), and all Swiss financial institutes to communicate securely and reliably with each other via the Secure Swiss Finance Network.</p><p></p><p>This unique guidebook provides an updated description of SCION''s main components, covering new research topics and the most recent deployments. In particular, it presents in-depth discussion of formal verification efforts. Importantly, it offers a comprehensive, thorough description of the current SCION system<b>:</b></p><div><ul><li>Describes the principles that guided SCION''s design as a secure and robust Internet architecture<br></li><li>Provides a comprehensive description of the next evolution in the way data finds its way through the Internet<br></li><li>Explains how SCION can contribute to reducing carbon emissions, by introducing SCION Green Networking<br></li><li>Demonstrates how SCION not only functions in academic settings but also works in production deployments<br></li><li>Discusses additional use cases for driving SCION''s adoption<br></li><li>Presents the approaches for formal verification of protocols and code<br></li><li> Illustrated with many colorful figures, pictures, and diagrams, allowing easy access to the concepts and use cases <br></li></ul><p></p><p>Assembled by a team with extensive experience in the fields of computer networks and security, this text/reference is suitable for researchers, practitioners, and graduate students interested in network security. Also, readers with limited background in computer networking but with a desire to know more about SCION will benefit from an overview of relevant chapters in the beginning of the book.</p></div><p></p>
INGLÊS

The Design Of Rijndael - The Advanced Encryption Standard (Aes)

de Joan Daemen e Vincent Rijmen

189,25€ + 10% EM CARTÃO

portes grátis

 An authoritative and comprehensive guide to the Rijndael algorithm and Advanced Encryption Standard (AES). AES is expected to gradually replace the present Data Encryption Standard (DES) as the most widely applied data encryption technology. This book, written by the designers of the block cipher, presents Rijndael from scratch.
INGLÊS

Novel Techniques In Recovering, Embedding, And Enforcing Policies For Control-Flow Integrity

de Yan Lin

121,66€ + 10% EM CARTÃO

portes grátis

 To generate a precise CFI policy without the support of the source code, we systematically study two methods which recover CFI policy based on function signature matching at the binary level and propose our novel rule- and heuristic-based mechanism to more accurately recover function signature.
INGLÊS

The Past Web - Exploring Web Archives

189,25€ + 10% EM CARTÃO

portes grátis

 This book provides practical information about web archives, offers inspiring examples for web archivists, raises new challenges, and shares recent research results about access methods to explore information from the past preserved by web archives. The book is structured in six parts.
INGLÊS

Concise Guide To Electrochemical Methods And Voltammetry - A Problem-Based Test Prep For Students

de Xian Wen Ng

74,34€ + 10% EM CARTÃO

portes grátis

 This book provides targeted support for students taking courses at the undergraduate level involving electrochemical methods and voltammetry, precision analytical techniques used in chemical engineering, chemical research and development, and pharmaceutical science.
INGLÊS

Computer Security And The Internet - Tools And Jewels From Malware To Bitcoin

de Paul C. Van Oorschot

79,49€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Novel Techniques In Recovering, Embedding, And Enforcing Policies For Control-Flow Integrity

de Yan Lin

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 To generate a precise CFI policy without the support of the source code, we systematically study two methods which recover CFI policy based on function signature matching at the binary level and propose our novel rule- and heuristic-based mechanism to more accurately recover function signature.
INGLÊS

Theory Of Hash Functions And Random Oracles - An Approach To Modern Cryptography

de Arno Mittelbach e Marc Fischlin

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 <p>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 approach and place hash functions at the center. The result is not only an introduction to the theory of hash functions and the random oracle model but a comprehensive introduction to modern cryptography.</p><p>After motivating their unique approach, in the first chapter the authors introduce the concepts from computability theory, probability theory, information theory, complexity theory, and information-theoretic security that are required to understand the book content. In Part I they introduce the foundations of hash functions and modern cryptography. They cover a number of schemes, concepts, and proof techniques, including computational security, one-way functions, pseudorandomness and pseudorandom functions, game-based proofs, message authentication codes, encryption schemes, signature schemes, and collision-resistant (hash) functions. In Part II the authors explain the random oracle model, proof techniques used with random oracles, random oracle constructions, and examples of real-world random oracle schemes. They also address the limitations of random oracles and the random oracle controversy, the fact that uninstantiable schemes exist which are provably secure in the random oracle model but which become insecure with any real-world hash function. Finally in Part III the authors focus on constructions of hash functions. This includes a treatment of iterative hash functions and generic attacks against hash functions, constructions of hash functions based on block ciphers and number-theoretic assumptions, a discussion of privately keyed hash functions including a full security proof for HMAC, and a presentation of real-world hash functions.</p><p>The text is supported with exercises, notes, references, and pointers to further reading, and it is a suitable textbook for undergraduate and graduate students, and researchers of cryptology and information security.</p><p><br></p>
INGLÊS

Science Of Quantitative Information Flow

de Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith, Konstantinos Chatzikokolakis e Mario S. Alvim

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 <p>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 achieve rigorous, quantitative information-flow guarantees in those terms. It addresses the fundamental challenge that functional and practical requirements frequently conflict with the goal of preserving confidentiality, making perfect security unattainable.</p><p></p>Topics include: a systematic presentation of how unwanted information flow, i.e., "leaks", can be quantified in operationally significant ways and then bounded, both with respect to estimated benefit for an attacking adversary and by comparisons between alternative implementations; a detailed study of capacity, refinement, and Dalenius leakage, supporting robust leakage assessments; a unification of information-theoretic channels and information-leaking sequential programs within the same framework; and a collection of case studies, showing how the theory can be applied to interesting realistic scenarios.<p></p><p></p>The text is unified, self-contained and comprehensive, accessible to students and researchers with some knowledge of discrete probability and undergraduate mathematics, and contains exercises to facilitate its use as a course textbook.<p></p>
INGLÊS

Design Of Rijndael - The Advanced Encryption Standard (Aes)

de Joan Daemen e Vincent Rijmen

185,49€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 <p>This is the authoritative guide to Rijndael, the block cipher whose elegance, efficiency, security, and principled design made it the Advanced Encryption Standard (AES), now the most widely applied data encryption technology.</p><p>The authors developed the Rijndael algorithm and in this book they explain the AES selection process and their motivation in the light of the earlier Data Encryption Standard. They explain their design philosophy and implementation and optimization aspects, and the strength of their approach against cryptanalysis. They support the text with the relevant mathematics, reference code, and test vectors.<br></p><p>In this new edition the authors updated content throughout, added new chapters, and adapted their text to the new terminology in use since the first edition. This is a valuable reference for all professionals, researchers, and graduate students engaged with data encryption.<br></p>
INGLÊS

Computer Security And The Internet - Tools And Jewels

de Paul C. Van Oorschot

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Protocols For Authentication And Key Establishment

de Anish Mathuria, Colin Boyd e Douglas Stebila

145,09€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 <p>This book is the most comprehensive and integrated treatment of the protocols required for authentication and key establishment. In a clear, uniform presentation the authors classify most protocols in terms of their properties and resource requirements, and describe all the main attack types, so the reader can quickly evaluate protocols for particular applications.</p><p>In this edition the authors introduced new chapters and updated the text throughout in response to new developments and updated standards. The first chapter, an introduction to authentication and key establishment, provides the necessary background on cryptography, attack scenarios, and protocol goals. A new chapter, computational security models, describes computational models for key exchange and authentication and will help readers understand what a computational proof provides and how to compare the different computational models in use. In the subsequent chapters the authors explain protocols that use sharedkey cryptography, authentication and key transport using public key cryptography, key agreement protocols, the Transport Layer Security protocol, identity-based key agreement, password-based protocols, and group key establishment.<br></p><p>The book is a suitable graduate-level introduction, and a reference and overview for researchers and practitioners with 225 concrete protocols described. In the appendices the authors list and summarize the relevant standards, linking them to the main book text when appropriate, and they offer a short tutorial on how to build a key establishment protocol. The book also includes a list of protocols, a list of attacks, a summary of the notation used in the book, general and protocol indexes, and an extensive bibliography.<br></p>
INGLÊS

Modelling And Verification Of Secure Exams

de Rosario Giustolisi

60,82€ + 10% EM CARTÃO

portes grátis

 In this book the author introduces a novel approach to securing exam systems. He describes the tasks that occur during an exam, taking account of the levels of detail and abstraction of an exam specification and the threats that arise out of the different exam roles.
INGLÊS

Tutorials On The Foundations Of Cryptography - Dedicated To Oded Goldreich

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Oded was instrumental in laying down the foundations of cryptography, and he inspired the contributing authors, Benny Applebaum, Boaz Barak, Andrej Bogdanov, Iftach Haitner, Shai Halevi, Yehuda Lindell, Alon Rosen, and Salil Vadhan, themselves leading researchers on the theory of cryptography and computational complexity.
INGLÊS

Compromise, Peace And Public Justification - Political Morality Beyond Justice

de Fabian Wendt

108,14€ + 10% EM CARTÃO

portes grátis

 This book explores the morality of compromising. He explains how it is possible to have moral reasons to agree to moral compromises and he debates our moral duties and obligations in making such compromises.
INGLÊS

Modelling And Verification Of Secure Exams

de Rosario Giustolisi

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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. The book is useful for researchers and graduate students in the areas of information security, in particular protocols.
INGLÊS

Scion: A Secure Internet Architecture

de Adrian Perrig, Laurent Chuat, Pawel Szalachowski e Raphael M. Reischuk

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This book describes the essential components of the SCION secure Internet architecture, the first architecture designed foremost for strong security and high availability.
A carregar resultados...

Ver mais resultados