Security Process Algebra-based Analysis and Verification of Non-deducibility Security Model
基于安全进程代数的非演绎安全模型的分析与验证

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.