摘要
Computers&SecurityAprili 2010A framework for security assurance of access control enforcenent code一个访问控制执行码的安全保障框架This paper proposes a security assurance mechanism that formalizes the application behavior using labeled transition systems and structural operational semantics.文章提出了一个安全保障机制,它使用标签转移系统和结构化操作语义,形式化描述应用行为。
出处
《中国信息安全》
2010年第5期5-,共1页
China Information Security
