...; pointer logic; proof-carrying code; certifying compiler [gap=134]关键词 : 软件安全;Hoare逻辑;指针逻辑;携带证明的代码;出具证明的编译器 ...
基于20个网页-相关网页
(3)检验传输代码(Proof-carrying code):由卡内基-梅隆大 学提出, 核心思想是移动代理的运行环境能够验证某个移动代 理是否遵守由运行环境提供的一套安全机制。
基于8个网页-相关网页
以上来源于: WordNet
应用推荐