View in EDS PDF Full Text

Effective verification of confidentiality for multi-threaded programs.

Saved in:
Bibliographic Details
Title: Effective verification of confidentiality for multi-threaded programs.
Authors: Ngo, Tri Minh1, Stoelinga, Mariëlle1, Huisman, Marieke1
Source: Journal of Computer Security; 2014, Vol. 22 Issue 2, p269-300, 32p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first