Principles of Security and Trust, Riccardo Focardi; Andrew Myers

Автор: Matteo Maffei; Mark Ryan
Название: Principles of Security and Trust
ISBN: 3662544547 ISBN-13(EAN): 9783662544549
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Nestler Vincent
Название: Principles of Computer Security Lab Manual
ISBN: 0071836551 ISBN-13(EAN): 9780071836555
Издательство: McGraw-Hill
Рейтинг:
Цена: 48030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written by leading IT security educators and featuring 40+ challenging labs, this fully updated lab manual supplements Principles of Computer Security, Fourth Edition.

Автор: Giovanni Livraga; Chris Mitchell
Название: Security and Trust Management
ISBN: 3319680625 ISBN-13(EAN): 9783319680620
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 13th International Workshop on Security and Trust Management, STM 2017, held in Oslo, Norway, in September 2017, in conjunction with the 22nd European Symposium Research in Computer Security, ESORICS 2017. software security and risk management;

Автор: Javier Lopez; Simone Fischer-H?bner; Costas Lambri
Название: Trust, Privacy and Security in Digital Business
ISBN: 3319644823 ISBN-13(EAN): 9783319644820
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2017, held in Lyon, France, in August 2017 in conjunction with DEXA 2017. Cloud - IoT Security and Privacy; Security Awareness and Social Engineering - Policy Languages.

Автор: Theo Tryfonas; Ioannis Askoxylakis
Название: Human Aspects of Information Security, Privacy, and Trust
ISBN: 3319076191 ISBN-13(EAN): 9783319076195
Издательство: Springer
Рейтинг:
Цена: 77320.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Second International Conference on Human Aspects of Information Security, Privacy, and Trust, HAS 2014, held as part of HCI International 2014 which took place in Heraklion, Crete, Greece, in June 2014 and incorporated 14 conferences which similar thematic areas.

Автор: Frank Piessens; Luca Vigan?
Название: Principles of Security and Trust
ISBN: 3662496348 ISBN-13(EAN): 9783662496343
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Information Flow.- Faceted Dynamic Information Flow via Control and Data Monads.- Asymmetric Secure Multi-execution with Declassification.- A Taxonomy of Information Flow Monitors.- On Improvements of Low-Deterministic Security.- Tool Demonstration: JOANA.- Models and Applications.- Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.- Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.- Correct Audit Logging: Theory and Practice.- The Value of Attack-Defence Diagrams.- Protocols.- Composing protocols with randomized actions.- Bounding the number of agents, for equivalence too.- AIF-omega: Set-Based Protocol Abstraction with Countable Families.- Computational Soundness Results for Stateful Applied pi Calculus.

Автор: Alexander B. Sideridis; Zoe Kardasiadou; Constanti
Название: E-Democracy, Security, Privacy and Trust in a Digital World
ISBN: 3319117092 ISBN-13(EAN): 9783319117096
Издательство: Springer
Рейтинг:
Цена: 54040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Security, Privacy and Trust in a Digital World, e-Democracy 2013, held in Athens, Greece, December 2013. The papers are organized in topical sections on security, privacy;

Автор: Simone Fischer-H?bner; Costas Lambrinoudakis; Javi
Название: Trust, Privacy and Security in Digital Business
ISBN: 3319229052 ISBN-13(EAN): 9783319229058
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2015, held in Valencia, Spain, in September 2015 in conjunction with DEXA 2015. trust and privacy issues in mobile environments; and privacy requirements and privacy audit.

Автор: Theo Tryfonas; Ioannis Askoxylakis
Название: Human Aspects of Information Security, Privacy, and Trust
ISBN: 3319203754 ISBN-13(EAN): 9783319203751
Издательство: Springer
Рейтинг:
Цена: 81990.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Authentication.- Cybersecurity.- Privacy, security and user behaviour.- Security in social media and smart technologies.- Security Technologies.

Автор: Sara Foresti
Название: Security and Trust Management
ISBN: 331924857X ISBN-13(EAN): 9783319248578
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Workshop on Security and Trust Management, STM 2015, held in Vienna, Austria, in September 2015, in conjunction with the 20th European Symposium Research in Computer Security, ESORICS 2015. and security analysis, risk management and usability.

Автор: Dimitris Gritzalis; Javier Lopez
Название: Emerging Challenges for Security, Privacy and Trust
ISBN: 3642101763 ISBN-13(EAN): 9783642101762
Издательство: Springer
Рейтинг:
Цена: 139710.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 24th IFIP TC 11 International Information Security Conference, SEC 2009, held in Pafos, Cyprus, in May 2009. In this title, the papers are organized in topical sections on identification and authentication, threats and attacks, applications of cryptography and information hiding, and trusted computing.

Автор: Audun J?sang; Pierangela Samarati; Marinella Petro
Название: Security and Trust Management
ISBN: 3642380034 ISBN-13(EAN): 9783642380037
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Security and Trust Management, STM 2012, held in Pisa, Italy, in September 2012 - in conjunction with the 17th European Symposium Research in Computer Security (ESORICS 2012). distributed systems and physical security;