2.2. Keystone Security Monitor¶
The security monitor (SM) is trusted software that runs in M-mode, and forms the trusted computing base (TCB) in Keystone system. The SM is the most important software in Keystone as it provides most of the security guarantees. The SM provides the following functionality:
- Memory Isolation using RISC-V PMP
- Remote Attestation (Signatures and measurement)
- Enclave Thread Management
- System PMP Synchronization
- Side-Channel Defenses
Version 0.1 only implements 1, 2, and 3, supporting single-threaded enclave.
The security monitor must be verified by the root of trust in hardware before being trusted. After the root of trust measures the SM it generates a keypair for remote attestation, signs the public key, and then continues booting. See Chain of Trust for details.
The OS and enclaves may call SM functions using the supervisor binary interface (SBI),
which is implemented in RISC-V environment calls (i.e.,
See SBI Documentation for details.
2.2.1. PMP Internals¶
PMP allows for N (platform defined) entries, which are configured using a config (cfg) and address (addr) register each. There are further details available in the RISC-V specification section 3.6.
In Keystone we refer to the section of memory that an enclave uses as a region and each region is defined by a PMP entry.
2.2.2. Memory Isolation using RISC-V PMP¶
The SM currently consumes two PMP entries for its own uses (i.e., security monitor memory and untrusted memory). Each of the remaining PMP entries may be consumed by one active enclave each.
To understand how the SM utilizes PMP, we need to know several properties of RISC-V PMP:
Prioritized by Index
PMP entries are statically priortized by their index, with a check stopping at the highest priority matching. Indices run from 0..N (where N is platform defined), with 0 having the highest priority, and N having the lowest. Thus, the access permissions to a physical address should be of the lowest-index PMP entry among the matched ones.
If no PMP entry matches with an address, the memory access will be rejected by default.
Dynamically Configurable by M-mode
M-mode can write to PMP CSRs during runtime to define PMP entries dynamically. A TLB flush is required after reconfiguration.
PMP supports two addressing modes: naturally-aligned power of two (NAPOT), or top-of-range (TOR). TOR consumes adjacent PMP entry’s address register for the bound address to allow shared boundaries efficiently. Ex: Two ranges of 0-2048 and 2048-4096 uses 3 entries, 0, 2048, 4096.
The current Keystone SM uses NAPOT (> 4KB), because it relies on Linux memory allocation for contiguous physical memory regions, and these regions are not guaranteed to be contiguous with each other.
At the very beginning of the boot process, physical memory is not accessible by U- or S-modes because of property 2 as shown in the diagram below.
For ease of understanding, we denote PMP entries as pmp[i] where i is an index. There are N PMP entries. -: inaccessible (NO_PERM), =: accessible (ALL_PERM) pmp[1:N] | | : undefined net result |----------------------------------------|
The SM sets the first PMP entry to cover the address range containing itself (
0x80200000), and sets all permission bits to 0.
The SM then sets the last PMP entry to cover the entire DRAM and sets all permission bits to 1, allowing the OS to access the rest of the memory and start booting.
Because of the property 1, the net result will be as follows:
-: inaccessible (NO_PERM), =: accessible (ALL_PERM) pmp |-------| | : SM memory pmp[others] | | : undefined pmp[N] |========================================| : OS memory net result |-------|================================|
When the SM creates an enclave, it will assign a PMP entry to the enclave to protect its memory from other U-/S-mode software.
-: inaccessible (NO_PERM), =: accessible (ALL_PERM) pmp |-------| | : SM memory pmp | |---------| | : enclave memory pmp[others] | | : undefined pmp[N] |========================================| : OS memory net result |-------|======|---------|===============|
When the SM enters the enclave (executes the enclave), it flips the permission bits of the enclave’s PMP entry and the last PMP entry. In addition, Keystone allows the OS to allocate an additional contiguous memory region in the OS memory space so that the enclave can use it as a communication buffer. The buffer is called untrusted shared buffer.
-: inaccessible (NO_PERM), =: accessible (ALL_PERM) pmp |-------| | : SM memory pmp | |=========| | : enclave memory pmp[others] | | : undefined pmp[N] | |==| | : untrusted shared buffer net result |-------|------|=========|-------|==|----|
When the SM exits the enclave, it simply flips the permission bits back. When the SM destroys an enclave, it clears the PMP entry so that other enclaves can use it.
2.2.3. Remote Attestation¶
The goal of remote attestation is to prove to a remote client that the enclave contains the program expected, and is running on hardware that is trusted. In Keystone this involves a few cryptographic operations including ECDSA signature and SHA-3 hash.
For more detail about the remote attestation process, see Remote Attestation.
2.2.4. Enclave Context Management¶
The Keystone SM manages enclave context (e.g., general purpose registers, trap vector, etc) and the status of each hardware thread. When an enclave enters and exits, the SM performs the following steps to switch between trusted and untrusted contexts:
- Update thread status
- Save the previous context
- Restore the next context
- Flip PMP permissions
- Flush TLB
2.2.5. System PMP Synchronization¶
System PMP is not supported yet.
2.2.6. Side-Channel Defense¶
Side-channel defenses are not implemented yet. Note that there are many different side-channels, and each platform will have its own threat model for side-channels.