????????????У????????????????????????????????????m?????????????m’?????????m’’?????????????????????ε????????? ???г??????m???????? m’?????????????m’??m ????????m’→ m?? m ??m’?1??n?????m’??????????????????? ??????????????????????????????m’’????????????????????????????????????????????????????????????? ???????????氳???????????????????????????????????????????? ?y????????????????????ν??й????? ????ò???????????????assml??Abstract Sub Security Model?? ???????????m????????????????????????ζ?????? ???????????????????? ?????????????????????? ??????????????????????????????н?????????? ????????????????????????????????????????????÷?Χ???????????????????????ò?????ò??а???cssml??Concrete Sub Security Model????dssml??Data Sub Security Model????????cssm l????????????????????m’????????????????? ????????????????? ?????????????????????????????????assm l???????????????????????????Ρ?dssm l????????????m’’????????????????е????????????????????????????????????????????????????????????sm l??Security Model???????????????????????????????????????????????????????????????sm l????????

?1 ?????????

????2.1.2 ??????????????????

???????????????? ?????????????????????????????????????????????????????ζ??????о????С????????Χ??·????

????2.2 ???????????????????

????2.2.1 ??????????????????????????

??????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????

????2.2.2 ?????????

???????????????г?????????????????????????????????????????????е???????????????????????????????????????????????????????????????????????ж?????????????????????????????????????????????????ɡ?

????2.2.3 ?????????

???????????????????????????????????????????????????????????????????????????漰?????????????а?????????????????????????????????????????????????????????????Abstraction?????????SlicingOsl???????????????????任?????????????????????????????淶?????м????????????????Ч???????????????????????????????????????

????2.2.4 ??????

????????????????????У???????????????????????????????????????????????????????????????????????????м??????????????????????????????????檔

????2.2. 5???????????????????????

????2.2.6 ????????????????

?????????????????vDcp??fDep????????vD??fD???????????????????????????????????y??????????????????????????????????????????????????·????????????????????????????????????????????????????????????????