摘要
针对属性计算框架可客观地计算安全的度,但某些属性难以计算的问题。提出了转义性概念,研究公平性与无干扰之间的语义关系。仿真表明,采用转义方式计算安全度的合理性,这为属性计算框架从理论走向应用提供了一种方法。
The framework of property computing can be adopted to efficiently and objectively compute the degree of security,however,some properties are not easy to be computed.Addressing the problem,a corresponding method called semantic-transfer is proposed.As a case,the semantic-transfer relation between fairness and non-interference is studied,and a novel method of quantifying fairness is presented.The simulation result shows the method is reasonable.The work can promote property computing from theory to practice.
出处
《桂林电子科技大学学报》
2011年第6期431-433,共3页
Journal of Guilin University of Electronic Technology
基金
国家自然科学基金(61100186)
关键词
属性计算
公平性
无干扰
转义性
property computing
fairness
non-interference
semantic transfer
