- トップ
- 検索結果
記事検索結果
電子版有料会員の方はより詳細な条件で検索機能をお使いいただけます。
ログイン
1件中、1ページ目 1〜1件を表示しています。 (検索にかかった時間：0.002秒)
NTTと早大が技術、プログラムのバグ修正 不正アクセス攻撃防止 （2024/10/29 電機・電子部品・情報・通信１）
同攻撃の原因となるプログラム中の文字列操作の誤り(バグ)を入出力例を基に修正し、修正結果に誤りがないことを保証する。... プログラムが満たすべき入出力の例を与えると、それを実現するプ...
