Login / Signup

From Coupling Relations to Mated Invariants for Checking Information Flow.

David A. Naumann
Published in: ESORICS (2006)
Keyphrases