Skip to content

Commit

Permalink
[TRANSLATION] translate MIT6.858.md and fix typo (PKUFlyingPig#274)
Browse files Browse the repository at this point in the history
* 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
  • Loading branch information
smxm authored Oct 16, 2022
1 parent d7217f7 commit 1aa360f
Show file tree
Hide file tree
Showing 7 changed files with 35 additions and 6 deletions.
2 changes: 1 addition & 1 deletion docs/体系结构/CS61C.en.md
Original file line number Diff line number Diff line change
Expand Up @@ -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)
2 changes: 1 addition & 1 deletion docs/体系结构/CSAPP.en.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,4 25,4 @@ After completing this course, your understanding of computer systems will defini
- Textbook: Computer Systems: A Programmer's Perspective, 3/E
- Assignments: 11 Projects, [skeleton code all open source](http://csapp.cs.cmu.edu/3e/labs.html)

If you have trouble with Chapter 7 Linking, I recommend reading the book *Programmer's Self-Cultivation*, subtitled link. load and library. This book can complete our understanding of program linking, and I believe after reading this book you will have a deeper comprehension of program linking, ELF files, and dynamic libraries. It is highly recommended to be read as a supplementary material after reading CSAPP and having a certain understanding of computer systems.
If you have trouble with Chapter 7 Linking, I recommend reading the book *Programmer's Self-Cultivation*, subtitled link. load and library. This book can complete our understanding of program linking, and I believe after reading this book you will have a deeper comprehension of program linking, ELF files, and dynamic libraries. It is highly recommended to be read as a supplementary material after reading CSAPP and having a certain understanding of computer systems.
2 changes: 1 addition & 1 deletion docs/数学基础/MITLA.en.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 8,7 @@
- Difficulty: 🌟🌟🌟
- Class Hour: Varying from person to person

Gilbert Strang, a great mathematician at MIT, still insists on teaching in his eighties. His classic text book [Introduction to Linear Algebra](https://math.mit.edu/~gs/linearalgebra/)has been adopted as an official textbook by Tsinghua University. After reading the PDF version, I felt deeply guilty and spent more than 200 yuan to purchase a genuine version in English as collection. The cover of this book is attached below. If you can fully understand the mathematical meaning of the cover picture, then your understanding of linear algebra will definitely reach a new height.
Gilbert Strang, a great mathematician at MIT, still insists on teaching in his eighties. His classic text book [Introduction to Linear Algebra](https://math.mit.edu/~gs/linearalgebra/) has been adopted as an official textbook by Tsinghua University. After reading the PDF version, I felt deeply guilty and spent more than 200 yuan to purchase a genuine version in English as collection. The cover of this book is attached below. If you can fully understand the mathematical meaning of the cover picture, then your understanding of linear algebra will definitely reach a new height.

![image](https://math.mit.edu/~gs/linearalgebra/linearalgebra5_Front.jpg)

Expand Down
2 changes: 1 addition & 1 deletion docs/数学基础/information.en.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
2 changes: 1 addition & 1 deletion docs/数据科学/Data100.en.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 3,7 @@
## Description

- Offered by: UC Berkeley
- Prerequisites: CS61ALinear Algebra
- Prerequisites: CS61A, Linear Algebra
- Programming Languages: Python
- Difficulty: 🌟🌟🌟
- Class Hour: 80 hours
Expand Down
29 changes: 29 additions & 0 deletions docs/系统安全/MIT6.858.en.md
Original file line number Diff line number Diff line change
@@ -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
2 changes: 1 addition & 1 deletion docs/软件工程/6031.en.md
Original file line number Diff line number Diff line change
Expand Up @@ -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 Construction)

0 comments on commit 1aa360f

Please sign in to comment.