Statically Checking Confidentiality of Shared-Memory Programs with Dynamic Labels Marcus V¨olp Technische Universit¨at Dresden Department of Computer ScienceDresden, Germany

First Page		Document Content
Date: 2008-04-10 10:46:21		Statically Checking Confidentiality of Shared-Memory Programs with Dynamic Labels Marcus V¨olp Technische Universit¨at Dresden Department of Computer ScienceDresden, Germany Add to Reading List Source URL: os.inf.tu-dresden.de Download Document from Source Website File Size: 206,38 KB Share Document on Facebook