DMCA

Secure Information Flow by Self-Composition (2010)

by Gilles Barthe , Pedro R. D’Argenio , Tamara Rezk
Venue:UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
Citations:138 - 15 self