From f5c2575dc0329f3f18536b3f9756b3c5352cef2d Mon Sep 17 00:00:00 2001 From: smxm <695335574@qq.com> Date: Sat, 15 Oct 2022 02:39:35 +0800 Subject: [PATCH] [TRANSLATION] translate MIT6.858.md --- docs/系统安全/MIT6.858.en.md | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 docs/系统安全/MIT6.858.en.md diff --git a/docs/系统安全/MIT6.858.en.md b/docs/系统安全/MIT6.858.en.md new file mode 100644 index 00000000..a46acc0f --- /dev/null +++ b/docs/系统安全/MIT6.858.en.md @@ -0,0 +1,27 @@ +# MIT 6.858: Computer System Security + +## Descriptions + +- Offered by: MIT +- Prerequisites: Computer Architecture, basic knowledge about programming and computer system +- Programming Languages: C, Python +- Difficulty:🌟🌟🌟🌟🌟 +- Class Hour: 150 hours + +This is MIT's Computer Systems Security course, You will explore the attacks and counter-measures in the context of the zoobar web application in the following ways: + +- Lab 1: you will explore the zoobar web application, and use buffer overflow attacks to break its security properties. +- Lab 2: you will improve the zoobar web application by using privilege separation, so that if one component is compromised, the adversary doesn't get control over the whole web application. +- Lab 3: you will build a program analysis tool based on symbolic execution to find bugs in Python code such as the zoobar web application. +- Lab 4: you will improve the zoobar application against browser attacks. + +I mainly did Lab 3 in this course. Lab 3 requires you to traverse all the branches of a program by concolic execution, and it is not difficult to do once you understand the idea of symbolic execution. This Lab visually demonstrates the use of symbolic execution. + +In the Final Project, you will build a remote file system, [SecFS](https://www.usenix.org/legacy/event/osdi04/tech/full_papers/li_j/li_j.pdf), that provides both confidentiality and integrity in the face of a completely untrusted server. Reference Papers: [SUNDR](https://www.usenix.org/legacy/event/osdi04/tech/full_papers/li_j/li_j.pdf) + +## Resources + +- Course Website: +- Assignments: refer to the course website +- Textbook: None +- Assignments: 4 Labs + Final Project / Lab5 \ No newline at end of file