类型安全策略相关硕士博士期刊学术论文 - 搜论网

类型安全策略相关论文

基于类型化内存地址的安全策略的设计与实现

提出了一种检查代码安全的类型安全策略,详细描述了该策略的逻辑表示、形式化描述和基于该策略的证明方法,最后给出一个基于该策略......

期刊

类型安全策略证明方法类型检查代码安全逻辑表示形式化描述 type safetypolicy proofmethod typecheck

看过本文同时还关注