気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
github.com/azuエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
0
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Release 情報セキュリティの敗北史 を読んだ · azu/book-review
情報セキュリティの敗北史 by @azu #42 情報セキュリティの敗北史｜白揚社 -Hakuyosha- 1950年ぐらいの... 情報セキュリティの敗北史 by @azu #42 情報セキュリティの敗北史｜白揚社 -Hakuyosha- 1950年ぐらいのセキュリティの歴史の話から始まって、1970年には「大規模なソフトウェアシステムにおいては、エラーや異常が完全にないことを検証するのは事実上不可能」という話があったのが面白い。 Ware report - Wikipedia あと1970年にＰＲＯＳ（Provably Secure Operating System：証明可能な安全性を持つＯＳ）という形式的証明みたいなことやってたのも面白い。 Provable security - Wikipedia 科学では反証可能性で担保するが、セキュリティではそうなってない。 あるシステムは安全ではないと言うことはできるが、あるシステムは安全であると言うことは難しい(バグがないシステムは存在しない)。セキュリティでは、完璧に安
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
github.com/azu
github.com/azu
github.com/azu
github.com/azu
pub.ssig33.com
www.sankei.com
anond.hatelabo.jp
piyolog.hatenadiary.jp
anond.hatelabo.jp
zenn.dev/patt
note.com/fshin2000
automaton-media.com
product.10x.co.jp
pc.watch.impress.co.jp
www.itmedia.co.jp
randamhexa.blog.fc2.com
www.facebook.com
anond.hatelabo.jp
yoshimori-law.net
