|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Joaquin Garcia-Alfaro , Guillermo Navarro-Arribas , Hannes Hartenstein , Jordi Herrera-JoancomartiPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2017 Volume: 10436 Weight: 6.905kg ISBN: 9783319678153ISBN 10: 3319678159 Pages: 446 Publication Date: 13 September 2017 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsA Proof Calculus for Attack Trees in Isabelle.- Confidentiality of Interactions in Concurrent Object-Oriented Systems.- Using Oblivious RAM in Genomic Studies.- Towards Efficient and Secure Encrypted Databases: Extending.- Message-Locked Encryption in Three-Party Model.- Searchable Encrypted Relational Databases: Risks and Countermeasures.- Private verification of access on medical data: an initial study.- Default Privacy Setting Prediction by Grouping User's Attributes and Settings Preferences.- Bounding Privacy Leaks in Privacy Preserving Data Mining.- Threshold Single Password Authentication.- Towards A Toolkit for Utility and Privacy-Preserving Transformation of Semi-structured Data Using Data Pseudonymization.- Enforcement of External Anonymization.- DLoc: Distributed Auditing for Data Location Compliance in Cloud.- Inonymous: Anonymous Invitation-Based System.- Order-Preserving Encryption Using Approximate Integer Common Divisors.- Privacy-Preserving Deterministic Automata Evaluation with Encrypted Data Blocks.- Securing Proof-of-Stake Blockchain Protocols.- Merged Mining: Curse or Cure?.- Atomically Trading with Roger: Gambling on the success of a hardfork.- Smart Contracts and Blockchain Identity.- In Code We Trust? Measuring the Control Flow Immutability of All.- Smart Contracts Deployed on Ethereum.- Who Am I? Secure Identity Registration on Distributed Ledgers.- User-centric System for Verified Identities on the Bitcoin Blockchain.- Towards a Concurrent and Distributed Route Selection for Payment Channel Networks.- Graphene: A New Protocol for Block Propagation Using Set Reconciliation.- Revisiting Difficulty Control for Blockchain Systems.- Secure Event Tickets on a Blockchain.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |