IT雑談

680b4892 :Anonymous 2018-06-06 00:35

理想的にはオープンソースで実装されててそれがそのまま確実に配布されてるってこと証明できれば良いんだろうけど、攻撃者側も陥落が楽になっちゃうから難しいね
関係ないけど 100% バグがないって証明されたプログラムってあるんだろうか