10.3969/j.issn.1007-130X.2017.04.015
基于限界约束的安全相关性质的推理证明
安全相关的性质如访问控制等在复杂环境下有十分重要的作用.从程序验证方面来说,不仅考虑安全性和活性的验证,还要考虑一些安全策略的性质,如非干涉性,这些不能用一般的性质来描述的安全策略可以被看作“超安全性质”.限界约束可通用地表示不同程度的访问频次限制,是安全相关性质验证中有效的辅助方法之一,在无线传感器网络协议、嵌入式系统等重要领域的性质验证方面具有广泛的应用价值.主要研究网络安全策略中的安全相关性质的限界表达及基于该限界约束的验证规则.
限界约束、超安全性、安全策略、推理证明
39
TP301(计算技术、计算机技术)
中央高校基本科研业务费2-9-2014-011;国家自然科学基金61502308
2017-05-23(万方平台首次上网日期,不代表论文的发表时间)
共8页
717-724