%0 Journal Article
%T Security Process Algebra-based Analysis and Verification of Non-deducibility Security Model<br>基于安全进程代数的非演绎安全模型的分析与验证
%A WANG Jing-ming
%A YU Hui-qun
%A <br>王精明
%A 虞慧群
%J 计算机科学
%D 2012
%I 
%X In characterizing security,non-deducibility security model is more essential and accurate than access control security model.This paper described and formally defined non-deducibility information flow security model based on trace semantics and security process algbra.Furthermore,this paper provided the verification algorithm for non-dedu-cibility security model based on security process algebra and offered the verification tools,whose use was illustrated with several examples.
%K Trace semantics
%K Security process algebra
%K Information flow security modcl
%K Non-deducibility model<br>迹语义
%K 安全进程代数
%K 信息流安全模型
%K 非演绎模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A72829DDE955E0D2DE407E68CE48FC56&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=0B39A22176CE99FB&sid=014B591DF029732F&eid=9FFCC7AF50CAEBF7&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=14