计算机工程与应用2018，Vol.54Issue(8)：78-84,7.DOI:10.3778/j.issn.1002-8331.1611-0522
非传递无干扰下IP安全与TA安全关系研究
Relation between IP-secure and TA-secure in intransitive non-interference
摘要
Abstract
IP-secure is proposed for intransitive policies.But the definitions of IP-secure for intransitive policies in these works suffer from some subtle flaws,such as the orders of the actions,and an altered definition called TA-secure is pro-posed.This paper analyzes IP-secure and TA-secure and tries to find the difference between them.It finds the conditions to exchange the order of two actions in a sequence, where the results are equal after executing function ipurge. It also finds the conditions to exchange the order of two actions in a sequence,where the results are equal after executing func-tion ta.Then,it compares the conditions to find the difference.The exact condition when function ta can purge the orders of the actions which shouldn't be known by the security domain is found.Based on the difference,it gives the require-ment to make a system satisfy TA-secure when it is IP-secure.关键词
无干扰/信息流安全模型/IP安全/TA安全Key words
noninterference/information security model/IP-secure/TA-secure分类
信息技术与安全科学引用本文复制引用
吕从东..非传递无干扰下IP安全与TA安全关系研究[J].计算机工程与应用,2018,54(8):78-84,7.基金项目
江苏省高等学校自然科学研究项目(No.17KJD520005) （No.17KJD520005）
南京审计大学人才引进项目. （）
