DSpace at RU >

Browsing by Author Alvim, M.S.

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.