程序安全性验证相关硕士博士期刊学术论文 - 搜论网

程序安全性验证相关论文

探讨JAVA的安全性改造与验证

讨论了OO语言的安全改造问题;给出了以扩展军用安全模型（EMSM）为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改......

期刊

信息流安全控制军用安全模型程序安全性验证安全程序语言 information flow control military security model

看过本文同时还关注