| 意味 |
Proof-carrying codeとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
ウィキペディア英語版での「Proof-carrying code」の意味 |
Proof-carrying code
出典:『Wikipedia』 (2011/03/02 20:32 UTC 版)
英語による解説
ウィキペディア英語版からの引用
引用
Proof-carrying code (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application's executable code. The host system can quickly verify the validity of the proof, and it can compare the conclusions of the proof to its own security policy to determine whether the application is safe to execute. This can be particularly useful in ensuring memory safety, i.e. preventing buffer overflows and other vulnerabilities common in some programming languages.
|
| 意味 |
Proof-carrying codeのページの著作権
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのProof-carrying code (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1habit
-
2千葉ロッテマリーンズ
-
3fast
-
4supremacy
-
5beyond
-
6available
-
7feature
-
8feed
-
9meet
-
10appreciate
閲覧履歴
 | 「Proof-carrying code」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
