Skip to content

From Coupling Relations to Mated Invariants for Checking Information Flow.

David A. Naumann

Year2006
ProceedingsESORICS

Browse the full ESORICS paper archive.