基于访问验证的工业控制系统安全保障方法
为了实时监控系统状态转换过程、及时感知异常执行轨迹和越权功能调用等非法行为,从系统行为和权限控制角度出发,提出一种基于访问验证的安全保障方法,通过明确系统状态转换规则,确保系统在工作过程中状态可信,并通过理论证明和攻击实例分析表明该方法的现实可行性.
工业控制系统安全、访问验证、可信计算、安全模型
39
TP309(计算技术、计算机技术)
国家科技重大专项资助项目2012ZX03002003;核高基重大专项资助项目2010ZX01037-001-001
2014-01-11(万方平台首次上网日期,不代表论文的发表时间)
共7页
1861-1867