非推断模型相关硕士博士期刊学术论文 - 搜论网

非推断模型相关论文

基于安全进程代数的信息流安全模型的分析与验证

基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6......

期刊

安全进程代数信息流安全模型非推断模型非干扰模型分离模型 security process algebra information flow secur

看过本文同时还关注