填空题
对于给定的客体x和y,根据信息流的流动策略,信息从x流向y是授权的当且仅当SC(x)<=SC(y),如果x,y都是可变类,那么SC(y)是()类,SC(x)是()类。假设x是在范围[0,31]中的整数变元,所有的取值都是等概率的。如果y初始时不存在,通过执行赋值句“y:=x”,则产生()比特的x-->y的信息流。
【参考答案】
它在流动之后的;它在流动之前的;5
点击查看答案
