DMCA

Combining different proof techniques for verifying information flow security (2007)

by Heiko Mantel , Henning Sudbrock , Tina Kraußer
Venue:In Proc. of the 16th international
Citations:13 - 3 self