其中最著名的是携带证明代码（Proof-Carrying Code）方法，要求代码生产方提供移动代码的安全性证明，代码使用方检查这个证明以确定是否执行。
基于20个网页-相关网页
携带证明的代码 proof-carrying code
携带证明代码
Carry proof code
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动