Skip to content

Reasoning about knowledge in multilevel secure distributed systems.

Janice I. Glasgow, Glenn H. MacEwen

VenueA*SP
Year1988
ProceedingsS&P

Browse the full SP paper archive.