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