Secure Information Flow by Self-Composition (2004)

Cached

Download Links

by Gilles Barthe , Pedro R. D’Argenio , Tamara Rezk
Venue:PROCEEDINGS OF CSFW’04
Citations:80 - 8 self