|
DSpace at RU >
Browsing by Author Alvim, M.S.
Showing results 1 to 3 of 3
| Full Text | Issue Date | Title | Author(s) | | 2010 | Entropy and attack models in information flow (Invited Talk) | Alvim, M.S.; Andres, M.E.; Palamidessi, C. |
| 2010 | Safe equivalences for security properties | Alvim, M.S.; Andres, M.E.; Palamidessi, C.; Rossum, P. van |
| 2010 | Probabilistic Information Flow | Alvim, M.S.; Andres, M.E.; Palamidessi, C. |
Showing results 1 to 3 of 3
|