Security by logic - characterizing Non-Interference in temporal logic
- Författare
- Henri-Charles Blondeel
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Skolan för datavetenskap och kommunikation, Kungliga Tekniska högskolan | 2008 | Sverige, Stockholm | 78 sidor. |