Cantitate/Preț
Produs
Total produse
Vezi coșul
Practical Security Properties on Commodity Computing Platforms: The uber eXtensible Micro-Hypervisor Framework de Amit Vasudevan

Practical Security Properties on Commodity Computing Platforms: The uber eXtensible Micro-Hypervisor Framework: SpringerBriefs in Computer Science

Autor Amit Vasudevan
en Limba Engleză Paperback – 25 sep 2019
This SpringerBrief discusses the uber eXtensible Micro-hypervisor Framework (uberXMHF), a novel micro-hypervisor system security architecture and framework that can isolate security-sensitive applications from other untrustworthy applications on commodity platforms, enabling their safe co-existence. uberXMHF, in addition, facilitates runtime monitoring of the untrustworthy components, which is illustrated in this SpringerBrief. uberXMHF focuses on three goals which are keys to achieving practical security on commodity platforms: (a) commodity compatibility (e.g., runs unmodified Linux and Windows) and unfettered access to platform hardware; (b) low trusted computing base and complexity; and (c) efficient implementation.

uberXMHF strives to be a comprehensible, practical and flexible platform for performing micro-hypervisor research and development. uberXMHF encapsulates common hypervisor core functionality in a framework that allows developers and users to build custom micro-hypervisor based (security-sensitive) applications (called "uberapps"). The authors describe several uberapps that employ uberXMHF and showcase the framework efficacy and versatility. These uberapps span a wide spectrum of security applications including application compartmentalization and sandboxing, attestation, approved code execution, key management, tracing, verifiable resource accounting, trusted-path and on-demand I/O isolation.

The authors are encouraged by the end result - a clean, barebones, low trusted computing base micro-hypervisor framework for commodity platforms with desirable performance characteristics and an architecture amenable to manual audits and/or formal reasoning. Active, open-source development of uberXMHF continues.

The primary audience for this SpringerBrief is system (security) researchers and developers of commodity system software. Practitioners working in system security deployment mechanisms within industry and defense, as well as advanced-level students studying computer science with an interest in security will also want to read this SpringerBrief.
Citește tot Restrânge

Din seria SpringerBriefs in Computer Science

  • Applications of Algebra to Communications, Control, and Signal Processing
    Preț: 29248 lei
  • Foundations of Blockchain: Theory and Applications
    Preț: 45083 lei
  • 20% Experience with Technology: Dynamics of User Experience with Mobile Media Devices
    Preț: 30853 lei
  • Mobile Edge Caching in Heterogeneous Vehicular Networks
    Preț: 42302 lei
  • 20% Deep Learning in Smart eHealth Systems: Evaluation Leveraging for Parkinson’s Disease
    Preț: 28067 lei
  • 20% Belief Revision in Non-Classical Logics
    Preț: 12062 lei
  • 20% Art, Design and Technology: Collaboration and Implementation
    Preț: 33565 lei
  • 20% Concepts, Ontologies, and Knowledge Representation
    Preț: 38550 lei
  • 20% ITIL® 2011 At a Glance
    Preț: 30584 lei
  • 20% Lossy Image Compression: Domain Decomposition-Based Algorithms
    Preț: 30584 lei
  • 20% A Survey of Data Leakage Detection and Prevention Solutions
    Preț: 30589 lei
  • 20% Sentiment Analysis for PTSD Signals
    Preț: 30543 lei
  • 20% Glazed Panel Construction with Human-Robot Cooperation
    Preț: 30495 lei
  • Interworking of Wireless LANs and Cellular Networks
    Preț: 35552 lei
  • 20% Data Dissemination and Query in Mobile Social Networks
    Preț: 22016 lei
  • 20% Software Similarity and Classification
    Preț: 30606 lei
  • 20% Service Placement in Ad Hoc Networks
    Preț: 30717 lei
  • 20% Two-Dimensional Change Detection Methods: Remote Sensing Applications
    Preț: 30528 lei
  • 20% Traffic Measurement on the Internet
    Preț: 30536 lei
  • 20% The Design of Cloud Workflow Systems
    Preț: 30616 lei
  • 20% Demand-Driven Associative Classification
    Preț: 30696 lei
  • 20% Autonomic Cooperative Networking
    Preț: 30630 lei
  • 20% Real-Time Detection of Lines and Grids: By PClines and Other Approaches
    Preț: 30506 lei
  • 20% Querying Moving Objects Detected by Sensor Networks
    Preț: 30513 lei
  • 20% Visual Indexing and Retrieval
    Preț: 30630 lei
  • Network Robustness under Large-Scale Attacks
    Preț: 35448 lei
  • Scalable Parallel Programming Applied to H.264/AVC Decoding
    Preț: 34150 lei
  • 20% Evolutionary Game Design
    Preț: 30747 lei
  • Social Media Audit: Measure for Impact
    Preț: 32621 lei
  • Peer-to-Peer Query Processing over Multidimensional Data
    Preț: 35705 lei
  • Group Cell Architecture for Cooperative Communications
    Preț: 35742 lei
  • 20% Intermittently Connected Mobile Ad Hoc Networks: from Routing to Content Distribution
    Preț: 30717 lei
  • 20% Criminal Justice Forecasts of Risk: A Machine Learning Approach
    Preț: 33377 lei
  • 20% Interactive Co-segmentation of Objects in Image Collections
    Preț: 30448 lei
  • 20% Event-Driven Surveillance: Possibilities and Challenges
    Preț: 30506 lei
  • 20% A Primer of Multicast Routing
    Preț: 30717 lei
  • 20% Spatial AutoRegression (SAR) Model: Parameter Estimation Techniques
    Preț: 30513 lei
  • Rhodes Framework for Android™ Platform and BlackBerry® Smartphones
    Preț: 35485 lei
  • 20% Automated Configuration Problem Solving
    Preț: 30320 lei
  • 20% Power Distribution and Performance Analysis for Wireless Communication Networks
    Preț: 30637 lei
  • 20% Mobile Authentication: Problems and Solutions
    Preț: 30717 lei
  • 20% Repairing and Querying Databases under Aggregate Constraints
    Preț: 21938 lei
  • 20% Spatio-temporal Networks: Modeling and Algorithms
    Preț: 29495 lei
  • 20% Entropy Guided Transformation Learning: Algorithms and Applications
    Preț: 30557 lei
  • 20% Video Processing in the Cloud
    Preț: 30465 lei
  • 20% Guide to ILDJIT
    Preț: 30616 lei
  • 20% Context Management for Distributed and Dynamic Context-Aware Computing
    Preț: 30606 lei
  • 20% Bootstrapping Trust in Modern Computers
    Preț: 30682 lei
  • 20% Decentralized Reasoning in Ambient Intelligence
    Preț: 30660 lei
  • 20% Self-* and P2P for Network Management: Design Principles and Case Studies
    Preț: 22127 lei

Preț: 30619 lei

Preț vechi: 38274 lei
-20% Nou

Puncte Express: 459
Preț estimativ în valută:
5861€ • 6385$ • 4917£

Carte tipărită la comandă

Livrare economică 19 decembrie 24 - 02 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030250485
ISBN-10: 3030250482
Pagini: 93
Ilustrații: XIX, 85 p. 8 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.16 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seria SpringerBriefs in Computer Science

Locul publicării:Cham, Switzerland

Notă biografică

Amit Vasudevan is a Computer Scientist at the Software Engineering Institute (SEI), Carnegie Mellon University (CMU). His research interests include secure (embedded) systems and IoT, virtualization, trusted computing, formal methods, malware analysis and operating systems. His present research focuses on building formally verifiable and trustworthy computing systems. He is the principal force behind the design and development of uberSpark – an innovative architecture and framework for compositional formal verification of security properties of commodity system software; and the uber eXtensible Micro-Hypervisor Framework (uberXMHF) – an open-source, extensible and formally verifiable micro-hypervisor framework which forms the foundation for a new class of (security-oriented) micro-hypervisor based applications ("uberapps") on commodity computing platforms.

He received his Ph.D. and M.S degrees from the Computer Science Department at UT Arlington and spent three yearsas a Post-doctoral fellow at CyLab, Carnegie Mellon University. Before that, he obtained his B.E. from the Computer Science Department at the BMS College of Engineering, Bangalore, India.

Textul de pe ultima copertă

This SpringerBrief discusses the uber eXtensible Micro-hypervisor Framework (uberXMHF), a novel micro-hypervisor system security architecture and framework that can isolate security-sensitive applications from other untrustworthy applications on commodity platforms, enabling their safe co-existence. uberXMHF, in addition, facilitates runtime monitoring of the untrustworthy components, which is illustrated in this SpringerBrief. uberXMHF focuses on three goals which are keys to achieving practical security on commodity platforms: (a) commodity compatibility (e.g., runs unmodified Linux and Windows) and unfettered access to platform hardware; (b) low trusted computing base and complexity; and (c) efficient implementation.

uberXMHF strives to be a comprehensible, practical and flexible platform for performing micro-hypervisor research and development. uberXMHF encapsulates common hypervisor core functionality in a framework that allows developers and users to build custom micro-hypervisor based (security-sensitive) applications (called 'uberapps'). The authors describe several uberapps that employ uberXMHF and showcase the framework efficacy and versatility. These uberapps span a wide spectrum of security applications including application compartmentalization and sandboxing, attestation, approved code execution, key management, tracing, verifiable resource accounting, trusted-path and on-demand I/O isolation.

The authors are encouraged by the end result - a clean, barebones, low trusted computing base micro-hypervisor framework for commodity platforms with desirable performance characteristics and an architecture amenable to manual audits and/or formal reasoning. Active, open-source development of uberXMHF continues.

The primary audience for this SpringerBrief is system (security) researchers and developers of commodity system software. Practitioners working in system security deployment mechanisms within industry and defense, as well as advanced-level students studying computer science with an interest in security will also want to read this SpringerBrief.