安全进程代数相关论文
安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型.......
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6......
就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模......
文章在安全进程代数理论框架内讨论信息流安全模型.基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性......
可信计算规范是指导可信计算产品研制的依据，可信计算规范本身的安全性需要得到验证．信任链是可信计算平台中保障系统安全可靠的主要......
期刊
