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

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

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

249: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/11/01(日) 12:53:33 ID:o4gNmK89

>>247
> 1983年のTuring賞受賞者　AT&Tベル研のKen Thompsonが
>”Reflextion on Trusting Trust"というタイトルで講演しました
>中身は不動点コンビネータのアイデアを利用したハッキングの方法

おっさん
違うよ（下記）

（参考）
https://engineering.linecorp.com/ja/blog/line-developer-meetup-fukuoka-20/
LINE ENGINEERING
LINE Developer Meetup in Fukuoka #20参加レポート
youhei  | 2017.12.04
LINE FukuokaでLINEバイトのサーバーサイド開発を担当しています。

こんにちは。LINE Fukuokaで開発エンジニアをしているyouheiです。

9月1日にLINE Fukuokaで開催いたしました、LINE Developer Meetup in Fukuoka #20の参加レポートをお送りします。

今回は、Unix開発の歴史を解説した『Unix考古学 Truth of the Legend』の著者である藤田昭人さんにお越しいただき、「情報セキュリティの考古学」と題してご講演いただきました。

講演スライドはこちらからご覧になれます。https://github.com/asciidwango/TruthOfTheLegend/blob/master/InformationSecurity-20170901.pdf

情報セキュリティの起源
情報セキュリティは1980年代に浮上した課題です。藤田さんの見解では、情報セキュリティはKen Thompsonの1983年のチューリング賞受賞時のスピーチ「Reflection on Trusting Trust」を発端に、広く社会に知られるようになったとのことです。

藤田さんには、1980年代にあったエポックメイキングな3つの出来事をケーススタディとして、情報セキュリティが社会問題として認知されていく過程を紐解いていただきました。

その出来事とは以下の3つです。
・Ken Thompsonによるトロイの木馬の指摘
・『カッコウはコンピュータに卵を産む』の出版
・Morris wormの拡散
皆さんはいくつ知っていたでしょうか？

つづく

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

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.027s