Principles of Security and Trust
Editat de Matteo Maffei, Mark Ryanen Limba Engleză Paperback – 29 mar 2017
The 14 papers presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: information flow; security protocols; security policies; and information leakage.
Preț: 324.02 lei
Preț vechi: 405.03 lei
-20%
Puncte Express: 486
Preț estimativ în valută:
57.29€ • 65.72$ • 49.53£
57.29€ • 65.72$ • 49.53£
Carte tipărită la comandă
Livrare economică 29 aprilie-13 mai
Specificații
ISBN-13: 9783662544549
ISBN-10: 3662544547
Pagini: 336
Ilustrații: XII, 321 p. 59 illus.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.51 kg
Ediția:1st edition 2017
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3662544547
Pagini: 336
Ilustrații: XII, 321 p. 59 illus.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.51 kg
Ediția:1st edition 2017
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Computer SecurityMatt Bishop-20%Preț: 696.36 lei870.45 lei -
Principles of Information SecurityMichael Whitman-24%Preț: 558.25 lei735.93 lei -
Cryptography EngineeringNiels Ferguson-20%Preț: 280.54 lei350.67 lei -
Systematic Security: A CISO’s PlaybookTimur Qader-20%Preț: 342.82 lei428.53 leiRecomandat -
Cryptography ApocalypseRoger A. Grimes-20%Preț: 167.03 lei208.79 lei -
Security EngineeringRoss Anderson-20%Preț: 374.29 lei467.87 lei -
Alice and Bob Learn Application SecurityTanya Janca-20%Preț: 241.35 lei301.69 lei -
If It's Smart, It's VulnerableMikko Hypponen-20%Preț: 130.09 lei162.62 lei -
Blockchain Security from the Bottom UpHoward E Poston-20%Preț: 132.43 lei165.55 lei -
-20%Preț: 613.94 lei767.42 lei -
-10%Preț: 622.01 lei691.12 lei -
Alice and Bob Learn Secure CodingTanya Janca-20%Preț: 233.39 lei291.74 lei -
Liars and OutliersBruce Schneier-20%Preț: 101.32 lei126.65 lei -
Serious Cryptography, 2nd Edition: A Practical Introduction to Modern EncryptionJean-Philippe Aumasson-37%Preț: 279.59 lei442.41 lei -
Computer Security and the Internet: Tools and Jewels from Malware to BitcoinPaul C. van Oorschot-20%Preț: 396.96 lei496.20 lei -
Advances in Cryptology - CRYPTO 2024Leonid Reyzin-20%Preț: 466.44 lei583.06 lei -
-15%Preț: 672.87 lei791.62 lei -
-20%Preț: 398.31 lei497.89 lei -
-20%Preț: 402.28 lei502.84 lei -
Preț: 468.74 lei
Cuprins
Information Flow.- Timing-Sensitive Noninterference through Composition.- Quantifying vulnerability of secret generation using hyper-distributions.- A Principled Approach to Tracking Information Flow in the Presence of Libraries.- Secure Multi-Party Computation: Information Flow of Outputs and Game Theory.- Security Protocols.- Automated verification of dynamic root of trust protocols.- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols.- On communication models when verifying equivalence properties.- A survey of attacks on Ethereum smart contracts (SoK).- Security Policies.- Security Analysis of Cache Replacement Policies.- Model Checking Exact Cost for Attack Scenarios.- Postulates for Revocation Schemes.- Defense in Depth Formulation and Usage in Dynamic Access Control.- Information Leakage.- Compositional Synthesis of Leakage Resilient Programs.- Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows.
Caracteristici
Includes supplementary material: sn.pub/extras