Browse Items (1 total)

Tags: mutation control

Sort by:

Title
Creator
Date Added

Immutability and Encapsulation for Sound OO Information Flow Control.

Security-critical software applications contain confidential information which has to be protected from leaking to unauthorized systems. With language-based techniques, the confidentiality of applications can be enforced. Such techniques are for…

Tags: confidentiality, information flow, INFORMATION policy, INFORMATION resources management, Integrity, Leak detection, LEAKS (Disclosure of information), mutation control, Security, type system

Output Formats

atom, dcmes-xml, json, omeka-xml, rss2