Information-Flow Security for Interactive Programs

Cached

Download Links

by Kevin R. O'Neill , Michael R. Clarkson , Stephen Chong
Citations:29 - 9 self