Effective verification of confidentiality for multi-threaded programs: Foundational Aspects of Security

Saved in:
Bibliographic Details
Published in:Journal of computer security 2014, Vol.22 (2), p.269-300
Main Authors: TRI MINH NGO, STOELINGA, Mariëlle, HUISMAN, Marieke
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Computer systems performance. Reliability
Exact sciences and technology
Memory and file management (including protection and security)
Memory organisation. Data processing
Software
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0926-227X
1875-8924