A Static Analysis for Quantifying the Information Flow in a Simple Imperative Language
| Data(s) |
2007
|
|---|---|
| Formato |
application/pdf |
| Identificador |
http://calcium.dcs.kcl.ac.uk/1213/1/QIF_A_Static_Analysis_published.pdf Clark, D and Hunt, S and Malacaria, P (2007) A Static Analysis for Quantifying the Information Flow in a Simple Imperative Language. Journal of Computer Security, 15 (3). pp. 321-371. |
| Relação |
http://calcium.dcs.kcl.ac.uk/1213/ |
| Tipo |
Article PeerReviewed |
