小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
12期
2828-2832
,共5页
李华%岳婧媛%庞滨%贺楠
李華%嶽婧媛%龐濱%賀楠
리화%악청원%방빈%하남
微内核%系统调用%访问控制%测试
微內覈%繫統調用%訪問控製%測試
미내핵%계통조용%방문공제%측시
micro-kernel%system call%access control%test
系统调用是操作系统提供给用户的编程接口之一,用户可以通过系统调用完成所需的功能操作,但是也可以通过系统调用的漏洞进行破坏,因此对于安全相关的系统调用测试很重要,其中与安全访问策略相关的系统调用尤为重要,直接关系到资源的控制权力.本文针对微内核操作系统Minix 3的安全访问策略,分析了与安全密切相关的典型系统调用,并利用CPN建立了相应的模型,之后对Minix 3进行了访问控制测试,根据已经建立好的CPN模型来制定访问控制规则,采用变异测试保证其测试质量,并在实际的操作系统上进行编程测试,给出了实验结果.
繫統調用是操作繫統提供給用戶的編程接口之一,用戶可以通過繫統調用完成所需的功能操作,但是也可以通過繫統調用的漏洞進行破壞,因此對于安全相關的繫統調用測試很重要,其中與安全訪問策略相關的繫統調用尤為重要,直接關繫到資源的控製權力.本文針對微內覈操作繫統Minix 3的安全訪問策略,分析瞭與安全密切相關的典型繫統調用,併利用CPN建立瞭相應的模型,之後對Minix 3進行瞭訪問控製測試,根據已經建立好的CPN模型來製定訪問控製規則,採用變異測試保證其測試質量,併在實際的操作繫統上進行編程測試,給齣瞭實驗結果.
계통조용시조작계통제공급용호적편정접구지일,용호가이통과계통조용완성소수적공능조작,단시야가이통과계통조용적루동진행파배,인차대우안전상관적계통조용측시흔중요,기중여안전방문책략상관적계통조용우위중요,직접관계도자원적공제권력.본문침대미내핵조작계통Minix 3적안전방문책략,분석료여안전밀절상관적전형계통조용,병이용CPN건립료상응적모형,지후대Minix 3진행료방문공제측시,근거이경건립호적CPN모형래제정방문공제규칙,채용변이측시보증기측시질량,병재실제적조작계통상진행편정측시,급출료실험결과.
