计算机工程与科学2002，Vol.24Issue(2)：13-17,5.
Linux中System V进程通信机制安全性形式化验证
The Formal Verification of Safety in System V of Linux
摘要
关键词
形式化验证/访问控制/IPC/SPIN/System V分类
信息技术与安全科学引用本文复制引用
吴丹,刘芳,戴葵,王志英..Linux中System V进程通信机制安全性形式化验证[J].计算机工程与科学,2002,24(2):13-17,5.基金项目
国家自然科学基金资助项目(90104025) （90104025）
