chapter 14: protection

69
國國國國國國 國國國國國國 Chapter 14: Protection

Upload: pancho

Post on 26-Feb-2016

32 views

Category:

Documents


2 download

DESCRIPTION

Chapter 14: Protection. Objectives. Discuss the goals and principles of protection in a modern computer system Explain how protection domains combined with an access matrix are used to specify the resources a process may access Examine capability and language-based protection systems. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Chapter 14:   Protection

國立台灣大學資訊工程學系

Chapter 14: Protection

Page 2: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Objectives

Discuss the goals and principles of protection in a modern computer systemExplain how protection domains combined with an access matrix are used to specify the resources a process may accessExamine capability and language-based protection systems

/682

Page 3: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Chapter 14: Protection

Goals of Protection Principles of ProtectionDomain of Protection Access Matrix Implementation of Access Matrix Access ControlRevocation of Access Rights Capability-Based Systems Language-Based Protection

/683

Page 4: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Goals of Protection

Operating system consists of a collection of objects, hardware or software

Each object has a unique name and can be accessed through a well-defined set of operations.

Protection problem - ensure that each object is accessed correctly and only by those processes that are allowed to do so.

/684

Page 5: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Principles of Protection

Guiding principle – principle of least privilegePrograms, users and systems should be given

just enough privileges to perform their tasks

/685

Page 6: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Access-right = <object-name, rights-set>where rights-set is a subset of all valid operations that can be performed on the object.

Domain = set of access-rights

Domain Structure

/686

Page 7: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Domain Implementation (UNIX)

System consists of 2 domains:UserSupervisor

UNIX Domain = user-idDomain switch accomplished via file system.

Each file has associated with it a domain bit (setuid bit).When file is executed and setuid = on, then user-id is set to owner of the file being executed. When execution completes user-id is reset.

/687

Page 8: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Domain Implementation (MULTICS)

Let Di and Dj be any two domain rings.If j < i Di Dj

/688

Page 9: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Access Matrix

View protection as a matrix (access matrix)

Rows represent domains

Columns represent objects

Access(i, j) is the set of operations that a process executing in Domaini can invoke on Objectj

/689

Page 10: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Access Matrix

/6810

Page 11: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Use of Access Matrix (1/2)

If a process in Domain Di tries to do “op” on object Oj, then “op” must be in the access matrix.

Can be expanded to dynamic protection.Operations to add, delete access rights.Special access rights:

owner of Oi

copy op from Oi to Oj

control – Di can modify Dj access rightstransfer – switch from domain Di to Dj

/6811

Page 12: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Use of Access Matrix (2/2)Access matrix design separates mechanism from policy.

Mechanism Operating system provides access-matrix + rules.If ensures that the matrix is only manipulated by authorized agents and that rules are strictly enforced.

PolicyUser dictates policy.Who can access what object and in what mode.

/6812

Page 13: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Implementation of Access Matrix

Each column = Access-control list for one object Defines who can perform what operation.

Domain 1 = Read, WriteDomain 2 = ReadDomain 3 = Read

Each Row = Capability List (like a key)Fore each domain, what operations allowed on what objects.

Object 1 – ReadObject 4 – Read, Write, ExecuteObject 5 – Read, Write, Delete, Copy

/6813

Page 14: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Access Matrix of Figure A With Domains as Objects

Figure B

/6814

Page 15: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Access Matrix with Copy Rights

Copy TransferLimited copy

/6815

Page 16: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Access Matrix With Owner Rights

/6816

Page 17: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Modified Access Matrix

Figure B

/6817

Page 18: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Implementation of Access Matrix

/68

Global TableAccess lists for objectsCapability lists for domainsLock-Key MechanismComparison

18

Page 19: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Access Control

Protection can be applied to non-file resourcesSolaris 10 provides role-based access control to implement least privilege

Privilege is right to execute system call or use an option within a system callCan be assigned to processesUsers assigned roles granting access to privileges and programs

/6819

Page 20: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Role-based Access Control in Solaris 10

/6820

Page 21: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Revocation of Access RightsQuestions:

Immediate versus delayed.Selective versus general.Partial versus total.Temporary versus permanent.

Access List – Delete access rights from access list.Simple Immediate

Capability List – Scheme required to locate capability in the system before capability can be revoked.

Reacquisition, if deleted periodically.Back-pointersIndirectionKeys

/6821

Page 22: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Capability-Based Systems Hydra

Fixed set of access rights known to and interpreted by the system.Interpretation of user-defined rights performed solely by user's program; system provides access protection for use of these rights.

Cambridge CAP System Data capability - provides standard read, write, execute of individual storage segments associated with object.Software capability -interpretation left to the subsystem, through its protected procedures.

/6822

Page 23: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Language-Based Protection

Specification of protection in a programming language allows the high-level description of policies for the allocation and use of resources.

Language implementation can provide software for protection enforcement when automatic hardware-supported checking is unavailable.

Interpret protection specifications to generate calls on whatever protection system is provided by the hardware and the operating system.

/6823

Page 24: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Protection in Java 2

Protection is handled by the Java Virtual Machine (JVM)

A class is assigned a protection domain when it is loaded by the JVM.

The protection domain indicates what operations the class can (and cannot) perform.

If a library method is invoked that performs a privileged operation, the stack is inspected to ensure the operation can be performed by the library.

/6824

Page 25: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Stack Inspection

/6825

Page 26: Chapter 14:   Protection

資工系網媒所 NEWS實驗室/68

End of Chapter 14

26

Page 27: Chapter 14:   Protection

國立台灣大學資訊工程學系

Chapter 15: Security

Page 28: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Objectives

To discuss security threats and attacksTo explain the fundamentals of encryption, authentication, and hashingTo examine the uses of cryptography in computingTo describe the various countermeasures to security attacks

/6828

Page 29: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Chapter 15: SecurityThe Security ProblemProgram ThreatsSystem and Network ThreatsCryptography as a Security ToolUser AuthenticationImplementing Security DefensesFirewalling to Protect Systems and NetworksComputer-Security ClassificationsAn Example: Windows XP

/6829

Page 30: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

The Security Problem

Security must consider external environment of the system, and protect the system resourcesIntruders (crackers) attempt to breach securityThreat is potential security violationAttack is attempt to breach securityAttack can be accidental or maliciousEasier to protect against accidental than malicious misuse

/6830

Page 31: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Security ViolationsCategories

Breach of confidentialityBreach of integrityBreach of availabilityTheft of serviceDenial of service

MethodsMasquerading (breach authentication)Replay attack

Message modificationMan-in-the-middle attackSession hijacking

/6831

Page 32: Chapter 14:   Protection

資工系網媒所 NEWS實驗室St

anda

rd S

ecur

ity A

ttac

ks

/6832

Page 33: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Security Measure Levels

Security must occur at four levels to be effective:PhysicalHuman

Avoid social engineering, phishing, dumpster divingOperating SystemNetwork

Security is as week as the weakest chain

/6833

Page 34: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Program ThreatsTrojan Horse

Code segment that misuses its environmentExploits mechanisms for allowing programs written by users to be executed by other usersSpyware, pop-up browser windows, covert channels

Trap DoorSpecific user identifier or password that circumvents normal security proceduresCould be included in a compiler

Logic BombProgram that initiates a security incident under certain circumstances

Stack and Buffer OverflowExploits a bug in a program (overflow either the stack or memory buffers)

/6834

Page 35: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

C Program with Buffer-overflow Condition#include <stdio.h>#define BUFFER SIZE 256int main(int argc, char *argv[]){char buffer[BUFFER SIZE];if (argc < 2)

return -1;else {

strcpy(buffer,argv[1]);return 0;

}}

/6835

Page 36: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Layout of Typical Stack Frame

/6836

Page 37: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Modified Shell Code

#include <stdio.h>int main(int argc, char *argv[]){execvp(‘‘\bin\sh’’,‘‘\bin \sh’’, NULL);return 0;

}

/6837

Page 38: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Hypothetical Stack Frame

Before attack After attack

/6838

Page 39: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Program Threats (Cont.)

VirusesCode fragment embedded in legitimate programVery specific to CPU architecture, operating system, applicationsUsually borne via email or as a macro

Visual Basic Macro to reformat hard driveSub AutoOpen()Dim oFS

Set oFS = CreateObject(’’Scripting.FileSystemObject’’)vs = Shell(’’c:command.com /k format c:’’,vbHide)

End Sub

/6839

Page 40: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Program Threats (Cont.)Virus dropper inserts virus onto the systemMany categories of viruses, literally many thousands of viruses

FileBootMacroSource codePolymorphicEncryptedStealthTunnelingMultipartiteArmored

/6840

Page 41: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

A Boot-sector Computer Virus

/6841

Page 42: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

System and Network ThreatsWorms – use spawn mechanism; standalone programInternet worm

Exploited UNIX networking features (remote access) and bugs in finger and sendmail programsGrappling hook program uploaded main worm programHarmless attack?

Port scanningAutomated attempt to connect to a range of ports on one or a range of IP addressesZombie systems, inconsequential systems, …

Denial of ServiceOverload the targeted computer preventing it from doing any useful workDistributed denial-of-service (DDOS) come from multiple sites at once

/6842

Page 43: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

The Morris Internet Worm

/6843

Page 44: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Cryptography as a Security Tool

Broadest security tool availableSource and destination of messages cannot be trusted without cryptographyMeans to constrain potential senders (sources) and or receivers (destinations) of messages

Based on secrets (keys)

/6844

Page 45: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Secure Communication over Insecure Medium

/6845

Page 46: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

EncryptionEncryption algorithm consists of

Set of K keysSet of M MessagesSet of C ciphertexts (encrypted messages)A function E : K → (M→C). That is, for each k K, E(k) is a function for generating ciphertexts from messages.

Both E and E(k) for any k should be efficiently computable functions.A function D : K → (C → M). That is, for each k K, D(k) is a function for generating messages from ciphertexts.

Both D and D(k) for any k should be efficiently computable functions.An encryption algorithm must provide this essential property: Given a ciphertext c C, a computer can compute m such that E(k)(m) = c only if it possesses D(k).

Thus, a computer holding D(k) can decrypt ciphertexts to the plaintexts used to produce them, but a computer not holding D(k) cannot decrypt ciphertexts.Since ciphertexts are generally exposed (for example, sent on the network), it is important that it be infeasible to derive D(k) from the ciphertexts

/6846

Page 47: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Symmetric EncryptionSame key used to encrypt and decrypt

E(k) can be derived from D(k), and vice versa

DES is most commonly used symmetric block-encryption algorithm (created by US Govt)

Encrypts a block of data at a time

Triple-DES considered more secureAdvanced Encryption Standard (AES), twofish up and comingRC4 is most common symmetric stream cipher, but known to have vulnerabilities

Encrypts/decrypts a stream of bytes (i.e wireless transmission)Key is a input to psuedo-random-bit generator

Generates an infinite keystream

/6847

Page 48: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Asymmetric Encryption

Public-key encryption based on each user having two keys:public key – published key used to encrypt dataprivate key – key known only to individual user used to decrypt data

Must be an encryption scheme that can be made public without making it easy to figure out the decryption scheme

Most common is RSA block cipherEfficient algorithm for testing whether or not a number is primeNo efficient algorithm is know for finding the prime factors of a number

/6848

Page 49: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Asymmetric Encryption (Cont.)

Formally, it is computationally infeasible to derive D(kd , N) from E(ke , N), and so E(ke , N) need not be kept secret and can be widely disseminated

E(ke , N) (or just ke) is the public keyD(kd , N) (or just kd) is the private keyN is the product of two large, randomly chosen prime numbers p and q (for example, p and q are 512 bits each)Encryption algorithm is E(ke , N)(m) = mke mod N, where ke satisfies kekd mod (p−1)(q −1) = 1The decryption algorithm is then D(kd , N)(c) = ck

d mod N

/6849

Page 50: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Asymmetric Encryption ExampleFor example. make p = 7and q = 13We then calculate N = 7 13 = 91 and (∗ p−1)(q−1) = 72We next select ke relatively prime to 72 and< 72, yielding 5Finally,we calculate kd such that kekd mod 72 = 1, yielding 29We how have our keys

Public key, ke, N = 5, 91Private key, kd , N = 29, 91

Encrypting the message 69 with the public key results in the cyphertext 62Cyphertext can be decoded with the private key

Public key can be distributed in cleartext to anyone who wants to communicate with holder of public key

/6850

Page 51: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Encryption and Decryption using RSA Asymmetric Cryptography

/6851

Page 52: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Cryptography (Cont.)

Note symmetric cryptography based on transformations, asymmetric based on mathematical functions

Asymmetric much more compute intensiveTypically not used for bulk data encryption

/6852

Page 53: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

AuthenticationConstraining set of potential senders of a message

Complementary and sometimes redundant to encryptionAlso can prove message unmodified

Algorithm componentsA set K of keysA set M of messagesA set A of authenticatorsA function S : K → (M→ A)

That is, for each k K, S(k) is a function for generating authenticators from messagesBoth S and S(k) for any k should be efficiently computable functions

A function V : K → (M× A→ {true, false}). That is, for each k K, V(k) is a function for verifying authenticators on messages

Both V and V(k) for any k should be efficiently computable functions

/6853

Page 54: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Authentication (Cont.)

For a message m, a computer can generate an authenticator a A such that V(k)(m, a) = true only if it possesses S(k)Thus, computer holding S(k) can generate authenticators on messages so that any other computer possessing V(k) can verify themComputer not holding S(k) cannot generate authenticators on messages that can be verified using V(k)Since authenticators are generally exposed (for example, they are sent on the network with the messages themselves), it must not be feasible to derive S(k) from the authenticators

/6854

Page 55: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Authentication – Hash Functions

Basis of authenticationCreates small, fixed-size block of data (message digest, hash value) from mHash Function H must be collision resistant on m

Must be infeasible to find an m’ ≠ m such that H(m) = H(m’)If H(m) = H(m’), then m = m’

The message has not been modified

Common message-digest functions include MD5, which produces a 128-bit hash, and SHA-1, which outputs a 160-bit hash

/6855

Page 56: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Authentication - MAC

Symmetric encryption used in message-authentication code (MAC) authentication algorithmSimple example:

MAC defines S(k)(m) = f (k, H(m))Where f is a function that is one-way on its first argument

k cannot be derived from f (k, H(m))Because of the collision resistance in the hash function, reasonably assured no other message could create the same MAC A suitable verification algorithm is V(k)(m, a) ≡ ( f (k,m) = a)Note that k is needed to compute both S(k) and V(k), so anyone able to compute one can compute the other

/6856

Page 57: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Authentication – Digital SignatureBased on asymmetric keys and digital signature algorithmAuthenticators produced are digital signaturesIn a digital-signature algorithm, computationally infeasible to

derive S(ks ) from V(kv)V is a one-way functionThus, kv is the public key and ks is the private key

Consider the RSA digital-signature algorithmSimilar to the RSA encryption algorithm, but the key use is reversedDigital signature of message S(ks )(m) = H(m)ks mod NThe key ks again is a pair d, N, where N is the product of two large, randomly chosen prime numbers p and qVerification algorithm is V(kv)(m, a) ≡ (akv mod N = H(m))

Where kv satisfies kvks mod (p − 1)(q − 1) = 1

/6857

Page 58: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Authentication (Cont.)

Why authentication if a subset of encryption?Fewer computations (except for RSA digital signatures)Authenticator usually shorter than messageSometimes want authentication but not confidentiality

Signed patches et al

Can be basis for non-repudiation

/6858

Page 59: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Key Distribution

Delivery of symmetric key is huge challengeSometimes done out-of-band

Asymmetric keys can proliferate – stored on key ringEven asymmetric key distribution needs care – man-in-the-middle attack

/6859

Page 60: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Man-in-the-middle Attack on Asymmetric Cryptography

/6860

Page 61: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Digital Certificates

Proof of who or what owns a public keyPublic key digitally signed a trusted partyTrusted party receives proof of identification from entity and certifies that public key belongs to entityCertificate authority are trusted party – their public keys included with web browser distributions

They vouch for other authorities via digitally signing their keys, and so on

/6861

Page 62: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Encryption Example - SSL

Insertion of cryptography at one layer of the ISO network model (the transport layer)SSL – Secure Socket Layer (also called TLS)Cryptographic protocol that limits two computers to only exchange messages with each other

Very complicated, with many variationsUsed between web servers and browsers for secure communication (credit card numbers)The server is verified with a certificate assuring client is talking to correct serverAsymmetric cryptography used to establish a secure session key (symmetric encryption) for bulk of communication during sessionCommunication between each computer then uses symmetric key cryptography

/6862

Page 63: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

User AuthenticationCrucial to identify user correctly, as protection systems depend on user IDUser identity most often established through passwords, can be considered a special case of either keys or capabilities

Also can include something user has and /or a user attribute

Passwords must be kept secretFrequent change of passwordsUse of “non-guessable” passwordsLog all invalid access attempts

Passwords may also either be encrypted or allowed to be used only onceShoulder surfing, sniffing, …

/6863

Page 64: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Implementing Security DefensesDefense in depth is most common security theory – multiple layers of securitySecurity policy describes what is being securedVulnerability assessment compares real state of system / network compared to security policyIntrusion detection endeavors to detect attempted or successful intrusions

Signature-based detection spots known bad patternsAnomaly detection spots differences from normal behavior

Can detect zero-day attacksFalse-positives and false-negatives a problem

Virus protectionAuditing, accounting, and logging of all or specific system or network activities

/6864

Page 65: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Firewalling to Protect Systems and NetworksA network firewall is placed between trusted and untrusted hosts

The firewall limits network access between these two security domainsCan be tunneled or spoofed

Tunneling allows disallowed protocol to travel within allowed protocol (i.e. telnet inside of HTTP)Firewall rules typically based on host name or IP address which can be spoofed

Personal firewall is software layer on given hostCan monitor / limit traffic to and from the host

Application proxy firewall understands application protocol and can control them (i.e. SMTP)System-call firewall monitors all important system calls and apply rules to them (i.e. this program can execute that system call)

/6865

Page 66: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Network Security Through Domain Separation Via Firewall

/6866

Page 67: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Computer Security Classifications

U.S. Department of Defense outlines four divisions of computer security: A, B, C, and D.D – Minimal security.C – Provides discretionary protection through auditing. Divided into C1 and C2. C1 identifies cooperating users with the same level of protection. C2 allows user-level access control.B – All the properties of C, however each object may have unique sensitivity labels. Divided into B1, B2, and B3.A – Uses formal design and verification techniques to ensure security.

/6867

Page 68: Chapter 14:   Protection

資工系網媒所 NEWS實驗室

Example: Windows XPSecurity is based on user accounts

Each user has unique security IDLogin to ID creates security access token

Includes security ID for user, for user’s groups, and special privilegesEvery process gets copy of tokenSystem checks token to determine if access allowed or denied

Uses a subject model to ensure access security. A subject tracks and manages permissions for each program that a user runsEach object in Windows XP has a security attribute defined by a security descriptor

For example, a file has a security descriptor that indicates the access permissions for all users

/6868

Page 69: Chapter 14:   Protection

資工系網媒所 NEWS實驗室/68

End of Chapter 15

69