访问控制的验证测试方法研究  

Study of Test Approach on Access Control

作　　者：丁洪达[1] 曾庆凯[1] 包必显[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室

出　　处：《计算机工程》2007年第1期161-163,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60473053);国家"863"计划基金资助项目(2004AA147070);江苏省自然科学基金资助项目(BK2005074)

摘　　要：对访问控制的评测是信息系统和产品安全评估中的一项重要内容。该文从安全标准中对访问控制的需求出发,研究了访问控制的自动测试方法,扩展了GFAC测试接口,并且使用该方法实现了在Linux+RSBAC的环境下对自主访问控制的自动测试。Test and validation of access control is a crucial part of the security evaluation of the system. A testing approach by extending GFAC is proposed, automatically to test the access control service according to requirements of security evaluation based on common criteria. The implementation of testing on Linux＋RSBAC demonstrates the approach available.

关 键 词：自主访问控制 通用访问控制框架 自动测试 通用准则 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]