public bool canWrite(mat m)
{
if (latice.dom(new slevel(ob), new slevel(sb, 'S')) == false)
{
Console.WriteLine("ss-property breach !");
return(false);
}
if (sb.getT() == false)
{
if (latice.dom(new slevel(sb, 'C'), new slevel(ob)) == false)
{
Console.WriteLine("*-property breach !");
return(false);
}
foreach (objc it in m.obj)
{
if (m.retperm(sb, it).Contains(subcap.acces.read) || m.retperm(sb, it).Contains(subcap.acces.write))
{
if (latice.dom(new slevel(it), new slevel(ob)) == false)
{
Console.WriteLine("*-property breach !");
return(false);
}
}
}
}
List <subcap.acces> x = m.retperm(sb, ob);
if (x.Contains(subcap.acces.write) == false)
{
Console.WriteLine("ds-property breach !");
return(false);
}
return(true);
}
public bool canRead(mat m)
{
if (latice.dom(new slevel(ob), new slevel(sb, 'S')) == false)
{
Console.WriteLine("ss-property breach !");
return(false);
}
List <subcap.acces> x = m.retperm(sb, ob);
if (x.Contains(subcap.acces.read) == false)
{
Console.WriteLine("ds-property breach !");
return(false);
}
return(true);
}
