中文摘要：

针对属性计算框架可客观地计算安全的度,但某些属性难以计算的问题。提出了转义性概念,研究公平性与无干扰之间的语义关系。仿真表明,采用转义方式计算安全度的合理性,这为属性计算框架从理论走向应用提供了一种方法。

英文摘要：

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.