純粋・応用数学(含むガロア理論)5

[過去ﾛｸﾞ] 純粋・応用数学(含むガロア理論)5 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

252: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/11/01(日) 21:45:48 ID:o4gNmK89

>>251

違う

https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf
TURING AWARD LECTURE
Reflections on Trusting Trust
To what extent should one trust a statement that a program is free of Trojan
horses? Perhaps it is more important to trust the people who wrote the software.
KEN THOMPSON
Communications of the ACM August 1984 Volume 27 Number 8

P763の左上より
”Figure 3.2 shows a simple modification to the compiler that will deliberately miscompile source whenever a particular pattern is matched.
If this were not deliberate, it would be called a compiler "bug." Since it is deliberate, it should be called a "Trojan horse."
The actual bug I planted in the compiler would match code in the UNIX "login" command.
The replacement code would miscompile the login command so that it would accept either the intended encrypted password or a particular known password.
Thus if this code were installed in binary and the binary were used to compile the login command, I could log into that system as any user. ”
だよね

つまり、>>249 の通りです。『Unix考古学 Truth of the Legend』の著者である藤田昭人さんの講演スライドPDFの通りでもある
確かに、文中に"self-reproducing program"が出て来るけど、些末な枝葉だ。あんた、シッタカ ハナタカの類で、本質を外している

http://rio2016.5ch.net/test/read.cgi/math/1602034234/252

273: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/11/02(月) 20:57:46 ID:YSe1lExr

分かってないね
　本質は、>>252に書かれていること、つまりは、>>249 の通りです。『Unix考古学 Truth of the Legend』の著者である藤田昭人さんの講演スライドPDFの通りですよ
"self-reproducing program"は
KEN THOMPSONが実際に行った例にすぎない

確かに、KEN THOMPSONが実際に行った例は、"self-reproducing program"を使って巧妙になされた
では、"Trojan horse"には、"self-reproducing program"が必須なのか？
そうではないよね。だったら、"self-reproducing program"は一手法にすぎないってことさ

実際、KEN THOMPSONは下記を結論のMORALの項に、下記を書いているよ
https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf
TURING AWARD LECTURE Reflections on Trusting Trust KEN THOMPSON Communications of the ACM August 1984 Volume 27 Number 8
より P763 右上MORALの項で
”I picked on the C compiler.
I could have picked on any program-handling program
such as an assembler, a loader, or even hardware microcode. As the level of program gets lower, these bugs
will be harder and harder to detect. A well-installed
microcode bug will be almost impossible to detect. ”とある。つまり、”C compiler”は一例にすぎない

因みに、”these bugs”は、P763の右上で”If this were not deliberate, it
would be called a compiler "bug." Since it is deliberate,
it should be called a "Trojan horse." とあるから、トロイの木馬も意味している

http://rio2016.5ch.net/test/read.cgi/math/1602034234/273

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.028s