卜表示信息不能流动。
{charaids;
voidSet(chars){aids—S;}charGet(){returnaids;})classApplication
{voidmain(Stringargs[]){FileInputStreamfile1一newFileInputStream
(”public.txt”);charBufl=filel.read();FileInputStreamfile2=newFileInputStream(”secret.txt”);charBuf2一file2.read();Patientobjl—newPatient();Aidsobj2=newAids();
objl.SetSex(Bull);obj2.Set(Buf2);objl.SetSex(obj2.Get());//(1))}
在上述程序段中,Patient类表示普通病人,Aids类表示爱滋病人。爱滋病人信息的安全级别应该比普通病人高,然而在标注(1)处产生了非法信息
造成这些缺陷的基本原因是,军用安全模型是依据线性格和子集格的乘积格来实现信息流控制的,而线性格无法反映现实系统中层次与敏感级别所形成
万方数据http://taobao43.net/list.php/0-0-1-1000000-%25B9%25FA%25B2%25FA%25CA%25D6%25BB%25FA.html
第1期
于泠,等:基于改进军用安全模型的sJava语言
25
的复杂关系。为了使模型更加接近于实际系统,本文对军用安全模型进行了改进,增加了以下能力:①反映组织内部主体