Skip to content

Formal semantics of confidentiality in multilevel logic databases.

Adrian Spalka

VenueCNSPW
Year1994
ProceedingsNSPW

Browse the full NSPW paper archive.