Confinement Properties for Multi-Threaded Programs (1999)

by Geoffrey Smith , Dennis Volpano
Citations:6 - 0 self