[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Bell and LaPadula in PVS



Folks,

Is there a published or reference version of the Bell and LaPadula model 
implemented in PVS?

Thanks,

-- Tim Levin
-- Pacific Grove, California