【proof-carrying_code】什么意思_英语proof-carrying_code的翻译_音标_读音_用法_例句_在线翻译

proof-carrying code 添加释义

携带证明的代码

...; pointer logic; proof-carrying code; certifying compiler [gap=134]关键词 : 软件安全;Hoare逻辑;指针逻辑;携带证明的代码;出具证明的编译器 ...

基于20个网页-相关网页

携带证明代码

其中最著名的是携带证明代码（Proof-Carrying Code）方法，要求代码生产方提供移动代码的安全性证明，代码使用方检查这个证明以确定是否执行。

基于20个网页-相关网页

携带验证的代码

3.2.4 携带验证的代码(Proof-carrying code)方法 27

基于16个网页-相关网页

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: 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.

以上来源于: WordNet

应用推荐

$firstVoiceSent

- 来自原声例句