华东理工大学学报：自然科学版2012，Vol.38Issue(1)：102-106,115,6.
基于安全进程代数的信息流安全模型的分析与验证
Security Process Algebra-Based Information Flow Analysis and Verification of Security Model
摘要
Abstract
In characterizing security, the information flow security models capture more essence than the access control security models. Within the unified framework of security process algebra, this paper describes and formally defines six types of information flow security models and analyzes their relationship of logical implication based on trace semantics. Furthermore, both the verification algorithm and the verification tools are developed for the six information flow security models based on security process algebra. Finally, several examples are presented for their utilization.关键词
安全进程代数/信息流安全模型/非推断模型/非干扰模型/分离模型Key words
security process algebra/information flow security model/non-inference model/non-interference model/separability model分类
信息技术与安全科学引用本文复制引用
王精明,虞慧群..基于安全进程代数的信息流安全模型的分析与验证[J].华东理工大学学报：自然科学版,2012,38(1):102-106,115,6.基金项目
国家自然科学基金 （）
上海市曙光计划 （）
安徽省高校省级自然科学研究基金项目 （）
滁州学院自然科学基金项目 （）
