ESORICS
2006
Springer
From Coupling Relations to Mated Invariants for Checking Information Flow
15 years 2 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)