Introduction to Information Security



Similar documents
Software security. Buffer overflow attacks SQL injections. Lecture 11 EIT060 Computer Security

Buffer Overflows. Code Security: Buffer Overflows. Buffer Overflows are everywhere. 13 Buffer Overflow 12 Nov 2015

CSCE 465 Computer & Network Security

Software Vulnerabilities

X05. An Overview of Source Code Scanning Tools. Loulwa Salem. Las Vegas, NV. IBM Corporation IBM System p, AIX 5L & Linux Technical University

EECS 354 Network Security. Introduction

Bypassing Memory Protections: The Future of Exploitation

Unix Security Technologies. Pete Markowsky <peterm[at] ccs.neu.edu>

Format string exploitation on windows Using Immunity Debugger / Python. By Abysssec Inc

How to Sandbox IIS Automatically without 0 False Positive and Negative

Defense in Depth: Protecting Against Zero-Day Attacks

Integrated Network Vulnerability Scanning & Penetration Testing SAINTcorporation.com

An Implementation of a Tool to Detect Vulnerabilities in Coding C and C++

The programming language C. sws1 1

I Control Your Code Attack Vectors Through the Eyes of Software-based Fault Isolation. Mathias Payer, ETH Zurich

Cryptography and Network Security Prof. D. Mukhopadhyay Department of Computer Science and Engineering

SECURITY B-SIDES: ATLANTA STRATEGIC PENETRATION TESTING. Presented by: Dave Kennedy Eric Smith

Homeland Security Red Teaming

Working with Buffers

Bug hunting. Vulnerability finding methods in Windows 32 environments compared. FX of Phenoelit

Bypassing Browser Memory Protections in Windows Vista

Exploiting Format String Vulnerabilities

MUTATION-BASED TESTING OF BUFFER OVERFLOWS, SQL INJECTIONS, AND FORMAT STRING BUGS

MSc Computer Science Dissertation

Introduction to computer and network security. Session 2 : Examples of vulnerabilities and attacks pt1

Hacking Techniques & Intrusion Detection. Ali Al-Shemery arabnix [at] gmail

Quiz I Solutions MASSACHUSETTS INSTITUTE OF TECHNOLOGY Fall Department of Electrical Engineering and Computer Science

System Calls and Standard I/O

telnetd exploit FreeBSD Telnetd Remote Exploit Für Compass Security AG Öffentliche Version 1.0 Januar 2012

Secure Programming and Source-Code Reviews - In the UNIX Environment. Thomas Biege <thomas@suse.de>

Security Testing. How security testing is different Types of security attacks Threat modelling

(General purpose) Program security. What does it mean for a pgm to be secure? Depends whom you ask. Takes a long time to break its security controls.

How To Detect A Buffer Overflow Vulnerability In Binary Code

CSC 405 Introduction to Computer Security

Cataloguing and Avoiding the Buffer Overflow Attacks in Network Operating Systems

Chapter 15 Operating System Security

90% of data breaches are caused by software vulnerabilities.

Peach Fuzzer Platform

Certified Ethical Hacker (CEH) Ethical Hacking & Counter Measures Course 9962; 5 Days, Instructor-Led

Low-level Software Security: Attacks and Defenses

Where s the FEEB? The Effectiveness of Instruction Set Randomization

Testing for Security

How To Write Portable Programs In C

CMSC 421, Operating Systems. Fall Security. URL: Dr. Kalpakis

Security: Attack and Defense

Lecture 7: Machine-Level Programming I: Basics Mohamed Zahran (aka Z)

From SQL Injection to MIPS Overflows

MWR InfoSecurity Advisory. Interwoven Worksite ActiveX Control Remote Code Execution. 10 th March Contents

ASL IT SECURITY XTREME XPLOIT DEVELOPMENT

Off-by-One exploitation tutorial

Practical taint analysis for protecting buggy binaries

Leak Check Version 2.1 for Linux TM

Advanced IBM AIX Heap Exploitation. Tim Shelton V.P. Research & Development HAWK Network Defense, Inc. tshelton@hawkdefense.com

Worms, Trojan Horses and Root Kits

風 水. Heap Feng Shui in JavaScript. Alexander Sotirov.

CSC 2405: Computer Systems II

The Advantages of Block-Based Protocol Analysis for Security Testing

For a 64-bit system. I - Presentation Of The Shellcode

Operating Systems and Networks

Sources: On the Web: Slides will be available on:

System Security Fundamentals

ERNW Newsletter 51 / September 2015

FINAL DoIT v.4 PAYMENT CARD INDUSTRY DATA SECURITY STANDARDS APPLICATION DEVELOPMENT AND MAINTENANCE PROCEDURES

Exploiting nginx chunked overflow bug, the undisclosed attack vector

CSE331: Introduction to Networks and Security. Lecture 15 Fall 2006

Review and Exploit Neglected Attack Surface in ios 8. Tielei Wang, Hao Xu, Xiaobo Chen of TEAM PANGU

The Leader in Cloud Security SECURITY ADVISORY

CS161: Operating Systems

CSE331: Introduction to Networks and Security. Lecture 17 Fall 2006

Memory management. Announcements. Safe user input. Function pointers. Uses of function pointers. Function pointer example

Custom Penetration Testing

Security. Definitions

Embedded Systems. Review of ANSI C Topics. A Review of ANSI C and Considerations for Embedded C Programming. Basic features of C

Return-oriented programming without returns

CS Computer Security Thirteenth topic: System attacks. defenses

Network Threats and Vulnerabilities. Ed Crowley

1 hours, 30 minutes, 38 seconds Heavy scan. All scanned network resources. Copyright 2001, FTP access obtained

Database's Security Paradise. Joxean Koret

Modern Binary Exploitation Course Syllabus

Contents. Introduction to Secure Coding Guide 7. Types of Security Vulnerabilities 11. Avoiding Buffer Overflows and Underflows 17

Microsoft STRIDE (six) threat categories

A Comparison of Publicly Available Tools for Dynamic Buffer Overflow Prevention

Hotpatching and the Rise of Third-Party Patches

Application. Application Layer Security. Protocols. Some Essentials. Attacking the Application Layer. SQL Injection

Securing software by enforcing data-flow integrity

ECS 165B: Database System Implementa6on Lecture 2

Computer security Lecture 06

Transcription:

Introduction to Information Security 0368-3065, Spring 2015 Lecture 1: Introduction, Control Hijacking (1/2) Eran Tromer Slides credit: Avishai Wool, Tel Aviv University 1

Administration Lecturer: Eran Tromer tromer@cs.tau.ac.il (include infosec15 in email subject) Leading teaching assistants: Itamar Gilad, Nir Krakowski Teaching assistant / exercise checker: Michal Shagam Course web site: http://course.cs.tau.ac.il/infosec15/ Read the Instructions Join the mailing list (automatic if you re already registered) Fill in the questionnaire 2

3 Exercises Practical emphasis, challenging hands-on exercises. Final grade: 65% exam, 35% exercises Attend recitations for necessary context. Further details in recitation.

4 Motivation Information Security Computer and Network Security Cyber Security

A brief history of cyber 1948 1960 1980 1988 1998 5 Cybernetic = regulatory/control systems such as computers Cybernetic = using computers Morris worm on the Internet Million-node botnets Cybersex Finance: untold $billions National (Estonia, Georgia, RSA+LM) Physical (Stuxnet) Cybersecurity ~ harming computers and things they control Information / computer / network / control-system security, cryptography

Security goals and threats GOAL Data confidentiality Data integrity System availability User authentication Privilege separation THREAT Data exposure Data modification Denial of service Masquerading Privilege elevation Prerequisite to many attacks: getting malicious code to run on victim s computer system 6

7 Control Hijacking Basic Control Hijacking Attacks

Control hijacking attacks Attacker s goal: Take over target machine (e.g. web server) Execute arbitrary code on target by hijacking application control flow Examples. Buffer overflow attacks Integer overflow attacks Format string vulnerabilities 8

9 Example 1: buffer overflows Extremely common bug in C/C++ programs. First major exploit: 1988 Internet Worm, fingerd. 600 500 400 300 20% of all vuln. 2005-2007: 10% 200 100 0 1995 1997 1999 2001 2003 2005 Source: NVD/CVE

What is needed Understanding C functions, the stack, and the heap. Know how system calls are made The exec() system call Attacker needs to know which CPU and OS used on the target machine: Our examples are for x86 running Linux or Windows Details vary slightly between CPUs and OSs: Little endian vs. big endian (x86 vs. Motorola) Stack Frame structure (Unix vs. Windows) 10

Linux process memory layout %esp user stack 0xC0000000 shared libraries 0x40000000 brk run time heap 11 Loaded from exec unused 0x08048000 0

12 Stack Frame high SP arguments return address stack frame pointer exception handlers local variables callee saved registers low Stack Growth

What are buffer overflows? Suppose a web server contains a function: When func() is called stack looks like: void func(char *str) { char buf[128]; } strcpy(buf, str); do-something(buf); argument: str return address stack frame pointer char buf[128] SP 13

What are buffer overflows? What if *str is 136 bytes long? [this is a software bug] After strcpy: void func(char *str) { char buf[128]; } strcpy(buf, str); do-something(buf); *str argument: str return address stack frame pointer char buf[128] Problem: no length checking in strcpy() SP 14

What are buffer overflows? What if *str is 136 bytes long? After strcpy: void func(char *str) { char buf[128]; } strcpy(buf, str); do-something(buf); *str argument: str return address stack frame pointer When func returns, usually: Some junk in return address CPU tries to jump to junk address invalid instruction at 0x. or segmentation fault SP 15 char buf[128] Result: Web server crash (OS kills the process)

Now let s think like an attacker Attacker discovers the software bug Attacker has control over the content & length of str E.g., maybe str is sent in the HTTP request that the attacker can fill Result: attacker can place binary values in the end of str to select the address that the CPU will jump to upon return This is Control Hijacking 16

Where to jump to? Attacker goal: jump to an address that runs attacker-written code But the process memory only has legitimate user & OS code Need to inject his own code somehow Solution: make the buffer overflow even longer Place binary machine instructions at the end of str 17

Basic stack exploit Suppose *str is such that after strcpy stack looks like: Program P: exec( /bin/sh ) (exact shell code by Aleph One) Program P high 18 Attack code P runs in stack. When func() exits, the shell runs with its stdin and stdout (hopefully) redirected to the TCP connection. The attacker, on the other side of the TCP connection, gets full shell access. Attacker gains full privileges of the user (UID, GID) running the server. return address char buf[128] low

19 The NOP slide Problem: how does attacker determine the return address? Solution: NOP slide Guess approximate stack state when func() is called Insert many NOPs before program P: nop, xor eax,eax, inc ax... Program P NOP Slide return address char buf[128] high low

Details and examples Some complications: Program P should not contain the \0 character. Overflow should not crash program before func() exits. Sample remote stack smashing overflows: (2007) Overflow in Windows animated cursors (ANI). LoadAniIcon() (2005) Overflow in Symantec Virus Detection test.getprivateprofilestring "file", [long string] 20

21 Windows C run time (CRT): strcpy_s (*dest, DestSize, *src) ensures proper termination. Many unsafe libc functions strcpy (char *dest, const char *src) strcat (char *dest, const char *src) gets (char *s) scanf ( const char *format, ) many more. and Safe libc versions strncpy(), strncat() are misleading E.g.,. strncpy() may leave string unterminated.

22 Buffer overflow opportunities Exception handlers: (Windows SEH attacks) Overwrite the address of an exception handler in stack frame. Function pointers: (e.g. PHP 4.0.2, MS MediaPlayer Bitmaps) Heap buf[128] FuncPtr or stack Overflowing buf will override function pointer. Longjmp buffers: longjmp(pos) (e.g. Perl 5.003) Overflowing buf next to pos overrides value of pos.

23 Corrupting method pointers http://phrack.org/issues/56/8.html object T Compiler generated function pointers (e.g. virtual methods in C++ code) ptr data FP1 FP2 FP3 vtable method1 code method2 code method3 code Object T After overflow of buf : NOP slide shell code buf[256] vtable ptr data

Finding buffer overflows To find overflow: Run web server on local machine Issue malformed requests (ending with $$$$$ ) Many automated tools exist (called fuzzers) If web server crashes, search core dump for $$$$$ to find overflow location Construct exploit (not easy given latest defenses) 24

25 Control Hijacking More Control Hijacking Attacks

More Hijacking Opportunities Integer overflows: (e.g. MS DirectX MIDI Lib) Double free: double free space on heap. Can cause memory manager to write data to specific location Examples: CVS server Format string vulnerabilities 26

Integer Overflow Integer overflow: an arithmetic operation attempts to create a numeric value that is larger than can be represented within the available storage space. Example: Test 1: short x = 30000; short y = 30000; printf( %d\n, x+y); Will two programs output the same? Test 2: short x = 30000; short y = 30000; short z = x + y; printf( %d\n, z) 27

C Data Types short int 6bits [-32,768; 32,767] unsigned short int 16bits [0; 65,535] unsigned int 32bits [0; 4,294,967,295] Int 32bits [-2,147,483,648; 2,147,483,647] long int 32bits [-2,147,483,648; 2,147,483,647] char 8bits [-128; 127] unsigned char 8bits [0; 255] long long int unsinged long long int 28

When does casting occur in C? When assigning to a different data type For binary operators +, -, *, /, %, &,, ^, if either operand is an unsigned long, both are cast to an unsigned long in all other cases where both operands are 32- bits or less, the arguments are both upcast to int, and the result is an int For unary operators ~ changes type, e.g., ~((unsigned short)0) is int ++ and -- does not change type 29

Where Does Integer Overflow Matter? Allocating spaces using calculation. Calculating indexes into arrays Checking whether an overflow could occur Direct causes: Truncation; Integer casting 30

Integer Overflow: Example 1 const long MAX_LEN = 20000; char buf[max_len]; short len = strlen(input); if (len < MAX_LEN) strcpy(buf, input); Can a buffer overflow attack occur? If so, how long does input needs to be? 31

32 Integer Overflows Example 2 (see Phrack 60) Problem: what happens when int exceeds max value? int m;(32 bits) short s;(16 bits) char c; (8 bits) c = 0x80 + 0x80 = 128 + 128 c = 0 s = 0xff80 + 0x80 s = 0 m = 0xffffff80 + 0x80 m = 0 Can this be exploited?

void func( char *buf1, *buf2, unsigned int len1, len2) { char temp[256]; if (len1 + len2 > 256) {return -1} // length check memcpy(temp, buf1, len1); // concatenate buffers memcpy(temp+len1, buf2, len2); do-something(temp); // do stuff } What if len1 = 0x80, len2 = 0xffffff80? len1+len2 = 0 Second memcpy() will overflow stack (or heap)!! 33

34 Integer overflow exploit stats 140 120 100 80 60 40 20 0 1996 1998 2000 2002 2004 2006 Source: NVD/CVE

35 Format string bugs

36 Format string problem Want to print a message (without arguments) - via fprintf Correct form: fprintf( stdout, %s, input); Bug: int func(char *input) { fprintf( stderr, input); } input is treated as a format string missing arguments If input includes % formats access places on stack Problem: what if *input = %s%s%s%s%s%s%s? Most likely program will crash (Denial of Service, violates Availability) If not, program will print memory contents. Privacy?

37 Format string attacks ( %n ) %n format writes the number of bytes formatted so far into a variable! printf( abc %n, &x) will change the value of the variable x (to 4) in other words, the parameter value on the stack is interpreted as a pointer to an integer value, and the place pointed by the pointer is overwritten

38 Exploit Dumping arbitrary memory: Walk up stack until desired pointer is found. printf("%08x.%08x.%08x.%08x %s ") Writing to arbitrary memory: printf("hello %n", &temp) writes 6 into temp. printf("%08x.%08x.%08x.%08x.%n")

History First exploit discovered in June 2000. Examples: wu-ftpd 2.* : remote root Linux rpc.statd: remote root IRIX telnetd: remote root BSD chpass: local root 39

Vulnerable functions Any function using a format string. Printing: printf, fprintf, sprintf, vprintf, vfprintf, vsprintf, Logging: syslog, err, warn 40