Sciweavers

ESORICS
2006
Springer

From Coupling Relations to Mated Invariants for Checking Information Flow

13 years 8 months ago
From Coupling Relations to Mated Invariants for Checking Information Flow
David A. Naumann
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where ESORICS
Authors David A. Naumann
Comments (0)