Notes - MCS
Secure Execution Environments
Notes - MCS
Secure Execution Environments
  • Secure Execution Environments
  • Introduction
    • Trusted Computing Base (TCB)
    • TEE (Trusted Execution Environment)
    • Can you trust the operating system?
  • Security in Operating Systems
    • Operating system
    • Virtual machines and hypervisors
    • Computational model
    • Access control
    • Protection with capabilities
    • Unix file protection ACLs
    • Windows NTFS file protection
    • Unix file protection ACLs
    • Privilege elevation
    • Privilege reduction
    • Linux login
  • Virtualization on Intel Processors
    • Modes of Operation
    • Virtual memory
    • How to put assembly instructions inside C code
    • A more elaborate example
    • Useful assembly instructions
  • Intel Software Guard Extensions
    • What is SGX (Software Guard eXtensions)?
    • SGX Enclave Memory
    • Guidelines for designing applications using SGX
    • Performance Overhead
    • SDK compilation modes
    • Writing Enclave Functions
  • ARM TrustZone
    • SoC and IP
    • ARM TrustZone
    • Worlds
    • Architecture
    • TrustZone bootstrap
  • Linux Kernel Namespaces
    • Namespaces
    • Advantages
    • Process Namespace
    • Network namespace
    • Mount namespace
    • UTS namespace
    • User namespace
  • LXC Linux Containers
    • Container
    • LXC containers
  • AppArmor
    • Purpose
    • Enforcement
    • Benefits
    • Attack prevention
    • Enforcement policies
    • Enforcement modes
    • Logging and auditing
    • Profiles
  • TPM (Trusted Platform Module)
    • Trusted Platform Module (TPM)
    • History
    • Cryptographic Concepts
    • Use cases
    • TPM Software Stack (TSS)
    • TPM concepts
    • Entities
    • Key management
    • Restrict signatures
    • Sessions
    • Authorization roles
  • Bootstrap security
    • AEGIS
    • Trusted computing
    • Root of Trust Measurements
    • Trusted Computing Platform Alliance (TCPA)
    • TPM-based attestation
    • Trusted Platform identity credentials
    • UEFI (Unified Extensible Firmware Interface)
    • NSA Boot Security
    • UEFI secure boot & TPM measurements
    • Intel Trusted Execution Technology (TXT)
    • Smartcards
      • Java Cards
      • OpenCard Framework (OCF)
      • Cryptographic services
Powered by GitBook
On this page
  • Session variations
  • Session use modifiers
  • Types
  • Password
  • HMAC
  • Policy (Enhanced Authorization)
  1. TPM (Trusted Platform Module)

Sessions

Maintain state between sequences of commands.

These are the vehicles for authorizations, as they configure per-command attributes.

  • Encryption/decryption of command/response parameters.

Session variations

Bound/unbound

  • The session is bound to an authorization value.

  • The session key is computed with it.

  • Calculations depending on the session key are affected.

Salted/unsalted

  • Extra entropy for the session key.

Session use modifiers

Per-command modifiers.

  • Continue - Keep the session after a successful command.

  • Decrypt - Part of the request goes encrypted.

  • Encrypt - Part of the response should come encrypted.

  • Audit - The command is to be audited.

Types

Password

Single-command session. A permanent entity.

Operation depends on the password

  • The password is provided in cleartext.

  • It is meant to be used locally.

HMAC

A password is uploaded to the TPM.

  • authValue

  • A one-time operation

Each session interaction has an HMAC computed with the shared authValue.

  • Both request and response.

  • Each also used a nonce.

    • The TPM nonce changes on each response.

Policy (Enhanced Authorization)

Are built on top of HMAC session.

Use policies to compute a shared secret.

  • Logical expressions

  • Sequences of commands

  • Internal and external state

Last updated 11 months ago