Effective verification of confidentiality for multi-threaded programs.

Saved in:

Bibliographic Details
Title:	Effective verification of confidentiality for multi-threaded programs.
Authors:	Ngo, Tri Minh¹, Stoelinga, Mariëlle¹, Huisman, Marieke¹
Source:	Journal of Computer Security; 2014, Vol. 22 Issue 2, p269-300, 32p
Database:	Applied Science & Technology Source

Description
ISSN:	0926227X
DOI:	10.3233/JCS-130492