Let’s look at an example I want to write an application that reports the course scores to you. Requirements: –Every student can only get his/her score.

Slides:



Advertisements
Similar presentations
Smashing the Stack for Fun and Profit
Advertisements

Exploring Security Vulnerabilities by Exploiting Buffer Overflow using the MIPS ISA Andrew T. Phillips Jack S. E. Tan Department of Computer Science University.
CMSC 414 Computer and Network Security Lecture 22 Jonathan Katz.
Review: Software Security David Brumley Carnegie Mellon University.
Breno de MedeirosFlorida State University Fall 2005 Buffer overflow and stack smashing attacks Principles of application software security.
Stack-Based Buffer Overflows Attacker – Can take over a system remotely across a network. local malicious users – To elevate their privileges and gain.
Gabe Kanzelmeyer CS 450 4/14/10.  What is buffer overflow?  How memory is processed and the stack  The threat  Stack overrun attack  Dangers  Prevention.
Stack buffer overflow
Buffer Overflow. Process Memory Organization.
Control hijacking attacks Attacker’s goal: – Take over target machine (e.g. web server) Execute arbitrary code on target by hijacking application control.
CMSC 414 Computer and Network Security Lecture 20 Jonathan Katz.
Security Exploiting Overflows. Introduction r See the following link for more info: operating-systems-and-applications-in-
CAP6135: Malware and Software Vulnerability Analysis Buffer Overflow : Example of Using GDB to Check Stack Memory Cliff Zou Spring 2011.
Assembly, Stacks, and Registers Kevin C. Su 9/26/2011.
Lecture 0 Appendix on Implementation Threats Material from Warren Page & Chpt 11, Information Security by Mark Stamp.
Lecture 6: Buffer Overflow CS 436/636/736 Spring 2014 Nitesh Saxena *Adopted from a previous lecture by Aleph One (Smashing the Stack for Fun and Profit)
Buffer Overflows Lesson 14. Example of poor programming/errors Buffer Overflows result of poor programming practice use of functions such as gets and.
Buffer Overflows : An In-depth Analysis. Introduction Buffer overflows were understood as early as 1972 The legendary Morris Worm made use of a Buffer.
Introduction: Exploiting Linux. Basic Concepts Vulnerability A flaw in a system that allows an attacker to do something the designer did not intend,
Mitigation of Buffer Overflow Attacks
Brian E. Brzezicki. This tutorial just illustrates the underlying concepts of buffer overflows by way of an extremely simple stack overflow  Most buffer.
CS390S, Week 4: Format String Vulnerabilities & Integer Overflows Pascal Meunier, Ph.D., M.Sc., CISSP January 31, 2007 Developed thanks to the support.
CSCD 303 Essential Computer Security Spring 2013 Lecture 17 Buffer Overflow Attacks.
Buffer Overflow CS461/ECE422 Spring Reading Material Based on Chapter 11 of the text.
Linux Security. Authors:- Advanced Linux Programming by Mark Mitchell, Jeffrey Oldham, and Alex Samuel, of CodeSourcery LLC published by New Riders Publishing.
Buffer Overflow. Introduction On many C implementations, it is possible to corrupt the execution stack by writing past the end of an array. Known as smash.
Overflows & Exploits. In the beginning 11/02/1988 Robert Morris, Jr., a graduate student in Computer Science at Cornell, wrote an experimental, self-replicating,
Lecture 8: Buffer Overflow CS 436/636/736 Spring 2013 Nitesh Saxena *Adopted from a previous lecture by Aleph One (Smashing the Stack for Fun and Profit)
What is exactly Exploit writing?  Writing a piece of code which is capable of exploit the vulnerability in the target software.
A Tool for Pro-active Defense Against the Buffer Overrun Attack D. Bruschi, E. Rosti, R. Banfi Presented By: Warshavsky Alex.
Operating Systems Security
JMU GenCyber Boot Camp Summer, Introduction to Penetration Testing Elevating privileges – Getting code run in a privileged context Exploiting misconfigurations.
Buffer overflow and stack smashing attacks Principles of application software security.
Buffer Overflows Taught by Scott Coté.-. _ _.-. / \.-. ((___)).-. / \ /.ooM \ / \.-. [ x x ].-. / \ /.ooM \ -/ \ /-----\-----/---\--\ /--/---\-----/-----\ / \-
Information Security - 2. A Stack Frame. Pushed to stack on function CALL The return address is copied to the CPU Instruction Pointer when the function.
EXPLOITATION CRASH COURSE – FALL 2013 UTD Computer Security Group – Andrew Folloder csg.utdallas.edu (credit: Scott Hand)
VM: Chapter 7 Buffer Overflows. csci5233 computer security & integrity (VM: Ch. 7) 2 Outline Impact of buffer overflows What is a buffer overflow? Types.
CAP6135: Malware and Software Vulnerability Analysis Buffer Overflow : Example of Using GDB to Check Stack Memory Cliff Zou Spring 2014.
Basic of Buffer Over Flow
Exploiting & Defense Day 1 Recap
Let’s look at an example
Mitigation against Buffer Overflow Attacks
Buffer Overflow Walk-Through
CS 177 Computer Security Lecture 9
Protecting Memory What is there to protect in memory?
Webserver w/user threads
Protecting Memory What is there to protect in memory?
Protecting Memory What is there to protect in memory?
CSC 495/583 Topics of Software Security Stack Overflows (2)
Process Realization In OS
Buffer Overflow Walk-Through
CS 465 Buffer Overflow Slides by Kent Seamons and Tim van der Horst
Software Security Lesson Introduction
Lecture 9: Buffer Overflow*
Smashing the Stack for Fun and Profit
CAP6135: Malware and Software Vulnerability Analysis Buffer Overflow : Example of Using GDB to Check Stack Memory Cliff Zou Spring 2015.
CNT4704: Analysis of Computer Communication Network Buffer Overflow : Example of Using GDB to Check Stack Memory Cliff Zou Fall 2011.
Buffer Overflows.
CAP6135: Malware and Software Vulnerability Analysis Buffer Overflow : Example of Using GDB to Check Stack Memory Cliff Zou Spring 2016.
Understanding and Preventing Buffer Overflow Attacks in Unix
CAP6135: Malware and Software Vulnerability Analysis Buffer Overflow : Example of Using GDB to Check Stack Memory Cliff Zou Spring 2013.
System and Cyber Security
FIGURE Illustration of Stack Buffer Overflow
CAP6135: Malware and Software Vulnerability Analysis Buffer Overflow : Example of Using GDB to Check Stack Memory Cliff Zou Spring 2010.
Format String Vulnerability
Set-UID Privileged Programs
Return-to-libc Attacks
Race Condition Vulnerability
Presentation transcript:

Let’s look at an example I want to write an application that reports the course scores to you. Requirements: –Every student can only get his/her score –Maintain all students’ scores in a file –Local command-line operation 1

Score file format 2 getscore]# cat score.txt Mary Doe: :A+:… Tom Smith: :B:… User name Student SSN Score

Our little “getscore” program User name and SSN for authentication Score file only readable to user root A program reads the score file and report the grade to an authenticated user 3 ls -l total 24 -rw root root 46 Aug 20 11:35 score.txt -rwsr-xr-x 1 root root Aug 20 11:36 getscore Setuid bit

Unix file system protection Attributes of a file course_scores]# ls -l total 20 -rwsr-xr-x 1 root root Aug getscore -rw root root 88 Aug score.txt 4 Permission bitsOwnerGroup directory bitowner permissions group permissions other user permissions d: directory r:read w:write x:execute (access a directory) s:set-uid bit {[d,-]} {[r,-] [w,-] [x,s,-]} {[r,-] [w,-] [x,s,-]} {[r,-] [w,-] [x, -]}

Unix set-uid mechanism A user can execute a program if the program file has “x” bit set for the user Typically the program process will have the invoker’s privilege If the program file also has the set-uid bit set for the owner (“s” is shown for the owner), then the program will also have the program owner’s privilege. We call such programs “set-uid programs”. 5

Unix set-uid mechanism Provides a path for privilege elevation –There are legitimate needs for elevating a process’ privilege to perform its jobs, e.g. “passwd” command. (Simplified version) Two user id fields in a process’s PCB: real user id (ruid), and effective user id (euid) –It is the euid that matters in OS protection. –non-setuid programs will have both fields set to the id of the invoker when the program is started. –Setuid programs have ruid set to the invoker, but euid set to the owner of the executable when started. –There are programming interfaces for changing the two uid’s during the program’s execution, and rules on which changes are allowed. 6

Getting your score 7 "Mary Doe" Your score is A+ course_scores]$./getscore "Tom Smith" Your score is B "Mary Doe" Invalid user name or SSN.

Security problems in getscore First things first: analyze the threat –Who are the adversaries? What are they after? What are the potential risks and their implications? How would you mitigate the risk? 8

Let’s try this 9 getscore]$./getscore "Mary Doe" AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAA Segmentation fault There is a vulnerability in the getscore program A protection mechanism at work

.text.data heap allocated data heap stack < > local variables function’s arguments saved EBP saved EIP main() local variables bottom of stack ESP EBP address growth function’s return address Linux process memory map 10 argc, **argv, **envp environment var’s a stack frame

Calling a function 11 main(){ : function(s) : }.text.data heap top of stack < > main() local vars ESP EBP argc, **argv, **envp environment var’s

Calling a function 12 main(){ : function(s) : } push s.text.data heap top of stack < > ESP EBP argc, **argv, **envp environment var’s function argument main() local vars

Calling a function 13 main(){ : function(s) : } function(s){ : return; } push return EIP.text.data heap > function argument saved EIP ESP EBP argc, **argv, **envp environment var’s top of stack < main() local vars

Calling a function 14 main(){ : function(s) : } function(s){ : return; }.text.data heap top of stack < > function argument saved EBP saved EIP main() local vars ESP EBP argc, **argv, **envp environment var’s local variables push EBP allocate a new frame for local variables

Stack buffer overflow attack 15 main(){ : function(s) : } function(s){ : return; }.text.data heap top of stack < > function argument saved EBP saved EIP main() local vars ESP EBP argc, **argv, **envp environment var’s local variables

Returning from a function 16 main(){ : function(s) : } function(s){ : return; } release the function’s frame and restore the saved EBP.text.data heap > function argument saved EBP saved EIP main() local vars ESP argc, **argv, **envp environment var’s local variables < EBP

Returning from a function 17 main(){ : function(s) : } function(s){ : return; } release control to the caller.text.data heap > function argument saved EBP saved EIP main() local vars ESP argc, **argv, **envp environment var’s local variables EBP A buffer overflow on stack can change this control flow <

Stack overflow attack 18 main(){ : function(s) : } function(s){ : return; }.text.data heap top of stack < > function argument saved EBP saved EIP main() local vars ESP EBP argc, **argv, **envp environment var’s local variables push EBP allocate a new frame for local variables AAAAAAAAAAA AAAAAAAAAAAAAAA A A

Stack overflow attack 19 main(){ : function(s) : } function(s){ : return; }.text.data heap top of stack < > function argument saved EBP saved EIP main() local vars ESP EBP argc, **argv, **envp environment var’s local variables AAAAAAAAAAA AAAAAAAAAAAAAAA A A

Stack overflow attack 20 main(){ : function(s) : } function(s){ : return; } release the function’s frame and restore the saved EBP.text.data heap > function argument saved EBP saved EIP main() local vars ESP argc, **argv, **envp environment var’s local variables < EBP 0x AAAAAAAAAAA AAAAAAAAAAAAAAA A A

Stack overflow attack 21 main(){ : function(s) : } function(s){ : return; } Control Hijacked by Attacker!.text.data heap > function argument saved EBP saved EIP main() local vars ESP argc, **argv, **envp environment var’s local variables < AAAAAAAAAAA AAAAAAAAAAAAAAA A A EBP 0x

Buffer overflow vulnerability Program fails to ensure that a write to a buffer is always within its bound. When buffer overflow happens, data structures in memory will be corrupted, potentially changing the program’s behavior. –In many cases it can lead to the execution of arbitrary code by attackers A common problem for unsafe programming languages such as C and C++. 22

Setuid and buffer overflow What is the implication of a buffer overflow in a setuid program? –If the buffer overflow happens when one of the uid fields contains more privilege, it could result in a local privilege escalation vulnerability, i.e. an attacker who already obtained local access on the system can escalate his privilege. –If the setuid program is owned by root, an attacker who has user account privilege may gain root privilege on the system. 23

Creating a malicious input 24 The original buffer EIP Shell CodeNOP sled Questions: 1. How long should the input be? 2. Where should we put the EIP in the input? 3. What value of EIP should be put in?

Shell code to use 25 /* Aleph1's Linux shellcode from "Smashing the stack for fun and profit", Phrack 49, vol 7 */ char shellcode[] = "\xeb\x1f\x5e\x89\x76\x08\x31\xc0\x88\x46\x07\x89\x46\x0c\xb0\x0b" "\x89\xf3\x8d\x4e\x08\x8d\x56\x0c\xcd\x80\x31\xdb\x89\xd8\x40\xcd" "\x80\xe8\xdc\xff\xff\xff/bin/sh";

Getting a root shell 26 simon]$./exploit_gen_with_esp 0xbffff Length of shell code: 45 Using sp: 0xbffff830 Using address: 0xbffff7b8 NOP sled: 103 bytes simon]$ cd /root/course_scores/ course_scores]$./getscore aaa $EGG sh-2.05b# sh-2.05b# whoami root sh-2.05b#

Summary OS protection prevents applications from interfering with each other Protection mechanisms are limited by the possible vulnerabilities in the application and system code 27