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

【Abstract】 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.更多还原