Secure Architecture Principles
Secure Architecture Principles
Secure Architecture
Principles
• Isolation and Least Privilege
• Access Control Concepts
• Operating Systems
• Browser Isolation and Least Privilege
John Mitchell
Announcement
Thursday lecture:
Alex Stamos, Yahoo! VP of Information Security (CISO)
– He is taking time from his busy schedule to join us
– Please come to class, in person, show your appreciation!
John Mitchell
Secure Architecture
Principles
Isolation and
Least Privilege
John Mitchell
Principles of Secure Design
• Compartmentalization
– Isolation
– Principle of least privilege
• Defense in depth
– Use more than one security mechanism
– Secure the weakest link
– Fail securely
• Keep it simple
John Mitchell
Principle of Least Privilege
• What’s a privilege?
– Ability to access or modify a resource
• Assume compartmentalization and isolation
– Separate the system into isolated compartments
– Limit interaction between compartments
• Principle of Least Privilege
– A system module should only have the minimal
privileges needed for its intended purposes
John Mitchell
Monolithic design
Network Network
John Mitchell
Monolithic design
Network Network
John Mitchell
Monolithic design
Network Network
John Mitchell
Component design
Network Network
John Mitchell
Component design
Network Network
John Mitchell
Component design
Network Network
John Mitchell
Principle of Least Privilege
• What’s a privilege?
– Ability to access or modify a resource
• Assume compartmentalization and isolation
– Separate the system into isolated compartments
– Limit interaction between compartments
• Principle of Least Privilege
– A system module should only have the minimal
privileges needed for its intended purposes
John Mitchell
Example: Mail Agent
• Requirements
– Receive and send email over external network
– Place incoming email into local user inbox files
• Sendmail
– Traditional Unix
– Monolithic design
– Historical source of many vulnerabilities
• Qmail
– Compartmentalized design
John Mitchell
OS Basics (before examples)
• Isolation between processes
– Each process has a UID
• Two processes with same UID have same permissions
– A process may access files, network sockets, ….
• Permission granted according to UID
• Relation to previous terminology
– Compartment defined by UID
– Privileges defined by actions allowed on system resources
John Mitchell
Qmail design
• Isolation based on OS isolation
– Separate modules run as separate “users”
– Each user only has access to specific resources
• Least privilege
– Minimal privileges for each UID
– Only one “setuid” program
• setuid allows a program to run as different users
– Only one “root” program
• root program has all privileges
John Mitchell
Structure of qmail
qmail-smtpd qmail-inject
qmail-queue
Incoming external mail Incoming internal mail
qmail-send
qmail-rspawn qmail-lspawn
qmail-remote qmail-local
John Mitchell
Isolation by Unix UIDs
qmailq – user who is allowed to read/write mail queue
qmaild
user
qmail-smtpd qmailq qmail-inject
qmail-queue
qmail-send
qmailr qmails root
qmail-rspawn qmail-lspawn
setuid user
qmailr user
qmail-remote qmail-local
John Mitchell
Structure of qmail
qmail-smtpd qmail-inject
qmail-queue
Reads incoming mail directories
Splits message into header, body
Signals qmail-send
qmail-send
qmail-rspawn qmail-lspawn
qmail-remote qmail-local
John Mitchell
Structure of qmail
qmail-smtpd qmail-inject
qmail-queue
qmail-send signals
• qmail-lspawn if local
• qmail-remote if remote qmail-send
qmail-rspawn qmail-lspawn
qmail-remote qmail-local
John Mitchell
Structure of qmail
qmail-smtpd qmail-inject
qmail-queue
qmail-send
qmail-lspawn
qmail-lspawn
• Spawns qmail-local
• qmail-local runs with ID of user
receiving local mail qmail-local
John Mitchell
Structure of qmail
qmail-smtpd qmail-inject
qmail-queue
qmail-send
qmail-lspawn
qmail-local
• Handles alias expansion
• Delivers local mail
• Calls qmail-queue if needed qmail-local
John Mitchell
Structure of qmail
qmail-smtpd qmail-inject
qmail-queue
qmail-send
qmail-rspawn
qmail-remote
qmail-remote • Delivers message to remote MTA
John Mitchell
Isolation by Unix UIDs
qmailq – user who is allowed to read/write mail queue
qmaild
user
qmail-smtpd qmailq qmail-inject
qmail-queue
setuid
qmail-send
qmailr qmails root root
qmail-rspawn qmail-lspawn
setuid user
qmailr user
qmail-remote qmail-local
John Mitchell
Least privilege
qmail-smtpd qmail-inject
setuid qmail-queue
qmail-send
qmail-rspawn qmail-lspawn
root
qmail-remote qmail-local
John Mitchell
Android process isolation
• Android application sandbox
– Isolation: Each application runs with its own UID in own VM
• Provides memory protection
• Communication limited to using Unix domain sockets
• Only ping, zygote (spawn another process) run as root
– Interaction: reference monitor checks permissions on inter-
component communication
– Least Privilege: Applications announces permission
• User grants access at install time
John Mitchell
John Mitchell
John Mitchell
Secure Architecture
Principles
Access Control
Concepts
John Mitchell
Access control
• Assumptions
– System knows who the user is
• Authentication via name and password, other credential
– Access requests pass through gatekeeper (reference monitor)
• System must not allow monitor to be bypassed
Reference
monitor
User
process access request ? Resource
policy
John Mitchell
Access control matrix [Lampson]
Objects
John Mitchell
Implementation concepts
File 1 File 2 …
• Access control list (ACL) User 1 read write -
– Store column of matrix
User 2 write write -
with the resource
User 3 - - read
• Capability
– User holds a “ticket” for …
each resource User m Read write write
– Two variations
• store row of matrix with user, under OS control
• unforgeable ticket in user space
User U Capabilty c
Process R Process R
John Mitchell
ACL vs Capabilities
• Delegation
– Cap: Process can pass capability at run time
– ACL: Try to get owner to add permission to list?
• More common: let other process act under current user
• Revocation
– ACL: Remove user or group from list
– Cap: Try to get capability back from process?
• Possible in some systems if appropriate bookkeeping
– OS knows which data is capability
– If capability is used for multiple resources, have to revoke all or none …
• Indirection: capability points to pointer to resource
– If C P R, then revoke capability C by setting P=0
John Mitchell
Roles (aka Groups)
• Role = set of users
– Administrator, PowerUser, User, Guest
– Assign permissions to roles; each user gets permission
• Role hierarchy
– Partial order of roles Administrator
John Mitchell
Role-Based Access Control
Individuals Roles Resources
engineering Server 1
marketing Server 2
Server 3
human res
John Mitchell
Secure Architecture
Principles
Operating Systems
John Mitchell
Unix access control
File 1 File 2 …
User 1 read write -
• Process has user id User 2 write write -
– Inherit from creating process User 3 - - read
– Process can change id …
• Restricted set of options User m Read write write
– Special “root” id
• All access allowed
• File has access control list (ACL)
– Grants permission to user ids
– Owner, group, other
John Mitchell
Unix file access control list
• Each file has owner and group
• Permissions set by owner setid
– Read, write, execute
- rwx rwx rwx
– Owner, group, other
ownr grp othr
– Represented by vector of
four octal values
• Only owner, root can change permissions
– This privilege cannot be delegated or shared
• Setid bits – Discuss in a few slides
John Mitchell
Process effective user id (EUID)
• Each process has three Ids (+ more under Linux)
– Real user ID (RUID)
• same as the user ID of parent (unless changed)
• used to determine which user started the process
– Effective user ID (EUID)
• from set user ID bit on the file being executed, or sys call
• determines the permissions for process
– file access and port binding
– Saved user ID (SUID)
• So previous EUID can be restored
John Mitchell
Example
Owner 18
RUID 25 SetUID
…; program
…;
exec( );
Owner 18
-rw-r--r-- …;
read/write …; RUID 25
file EUID 18
i=getruid()
Owner 25 setuid(i);
-rw-r--r-- RUID 25
read/write …; EUID 25
file …;
John Mitchell
Unix summary
• Good things
– Some protection from most users
– Flexible enough to make things possible
• Main limitation
– Too tempting to use root privileges
– No way to assume some root privileges without all root
privileges
John Mitchell
Weakness in isolation, privileges
• Network-facing Daemons
– Root processes with network ports open to all remote parties, e.g.,
sshd, ftpd, sendmail, …
• Rootkits
– System extension via dynamically loaded kernel modules
• Environment Variables
– System variables such as LIBPATH that are shared state across
applications. An attacker can change LIBPATH to load an attacker-
provided file as a dynamic library
John Mitchell
Weakness in isolation, privileges
• Shared Resources
– Since any process can create files in /tmp directory, an untrusted
process may create files that are used by arbitrary system processes
• Time-of-Check-to-Time-of-Use (TOCTTOU)
– Typically, a root process uses system call to determine if initiating user
has permission to a particular file, e.g. /tmp/X.
– After access is authorized and before the file open, user may change
the file /tmp/X to a symbolic link to a target file /etc/shadow.
John Mitchell
Access control in Windows
• Some basic functionality similar to Unix
– Specify access for groups and users
• Read, modify, change owner, delete
• Some additional concepts
– Tokens
– Security attributes
• Generally
– More flexible than Unix
• Can define new permissions
• Can give some but not all administrator privileges John Mitchell
John Mitchell
Identify subject using SID
• Security ID (SID)
– Identity (replaces UID)
• SID revision number
• 48-bit authority value
• variable number of Relative
Identifiers (RIDs), for
uniqueness
– Users, groups, computers,
domains, domain members all
have SIDs
John Mitchell
Process has set of tokens
• Security context
– Privileges, accounts, and groups associated with the
process or thread
– Presented as set of tokens
• Impersonation token
– Used temporarily to adopt a different security context,
usually of another user
• Security Reference Monitor
– Uses tokens to identify the security context of a process or
thread John Mitchell
Object has security descriptor
• Security descriptor associated with an object
– Specifies who can perform what actions on the object
• Several fields
– Header
• Descriptor revision number
• Control flags, attributes of the descriptor
– E.g., memory layout of the descriptor
– SID of the object's owner
– SID of the primary group of the object
– Two attached optional lists:
• Discretionary Access Control List (DACL) – users, groups, …
• System Access Control List (SACL) – system logs, ..
John Mitchell
Example access request
Access token
User: Mark
Group1: Administrators Access request: write
Group2: Writers Action: denied
John Mitchell
Secure Architecture
Principles
Browser Isolation
and Least Privilege
John Mitchell
Web browser: an analogy
John Mitchell
Chromium
Communicating sandboxed
components
John Mitchell
Leverage OS Isolation
• Sandbox based on four OS mechanisms
– A restricted token
– The Windows job object
– The Windows desktop object
– Windows Vista only: integrity levels
• Specifically, the rendering engine
– adjusts security token by converting SIDS to DENY_ONLY, adding restricted
SID, and calling AdjustTokenPrivileges
– runs in a Windows Job Object, restricting ability to create new processes,
read or write clipboard, ..
– runs on a separate desktop, mitigating lax security checking of some
Windows APIs
See: http://dev.chromium.org/developers/design-documents/sandbox/ John Mitchell
Evaluation: CVE count
• Total CVEs:
John Mitchell
Summary
• Security principles
– Isolation
– Principle of Least Privilege
– Qmail example
• Access Control Concepts
– Matrix, ACL, Capabilities
• OS Mechanisms
– Unix
• File system, Setuid
– Windows
• File system, Tokens, EFS
• Browser security architecture
– Isolation and least privilege example John Mitchell
Announcement
Thursday lecture:
Alex Stamos, Yahoo! VP of Information Security (CISO)
– He is taking time from his busy schedule to join us
– Please come to class, in person, show your appreciation!
John Mitchell