[TRANSLATION] translate MIT6.858.md and fix typo (#274)

* Update 6031.en.md

* Update MITLA.en.md

* Update information.en.md

* Update CS61C.en.md

* Update CSAPP.en.md

* [TRANSLATION] translate MIT6.858.md

* Update MIT6.858.en.md
This commit is contained in:
smxm 2022-10-16 22:05:34 +08:00 committed by GitHub
parent d7217f73a1
commit 1aa360fb57
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
7 changed files with 35 additions and 6 deletions

View File

@ -23,4 +23,4 @@ In a word, this is the best computer architecture course I have ever taken.
## Personal Resources
All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/- summer20 - GitHub](https://github.com/PKUFlyingPig/CS61C-summer20)
All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS61C-summer20 - GitHub](https://github.com/PKUFlyingPig/CS61C-summer20)

View File

@ -8,7 +8,7 @@
- Difficulty: 🌟🌟🌟
- Class Hour: 100 hours
This is MIT's introductory information theory course for freshmen, Professor Penfield has written a special textbook for this course as course notes, which is in-depth and interesting.
This is MIT's introductory information theory course for freshmen, Professor Penfield has written a special [textbook](https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-050j-information-and-entropy-spring-2008/syllabus/MIT6_050JS08_textbook.pdf) for this course as course notes, which is in-depth and interesting.
## Course Resources

View File

@ -3,7 +3,7 @@
## Description
- Offered by: UC Berkeley
- Prerequisites: CS61ALinear Algebra
- Prerequisites: CS61A, Linear Algebra
- Programming Languages: Python
- Difficulty: 🌟🌟🌟
- Class Hour: 80 hours

View File

@ -0,0 +1,29 @@
# 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. Lectures cover threat models, attacks that compromise security, and techniques for achieving security, based on recent research papers. Topics include operating system (OS) security, capabilities, information flow control, language security, network protocols, hardware security, and security in web applications.
Assignments include labs that involve implementing and compromising a secure web server and web application, and a group final project:
- 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: <http://css.csail.mit.edu/6.858/2022/>
- Assignments: refer to the course website
- Textbook: None
- Assignments: 4 Labs + Final Project / Lab5

View File

@ -28,6 +28,6 @@ In the 2016 spring, the course open-sourced all of its programming assignments,
## Personal Resources
All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/MIT6.031 --- GitHub](https://github.com/PKUFlyingPig/MIT6.031-software-construction)
All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/ MIT6.031-Software-Engineering - GitHub](https://github.com/PKUFlyingPig/MIT6.031-software-construction)
@pengzhangzhi completed the assignments and took some notes, maintained at [pengzhangzhi/self-taught-CS/Software Construction - Github](https://github.com/pengzhangzhi/self-taught-CS/tree/main/Software%20Construction)