2 search results - page 1 / 1 » Run-time Monitoring and Formal Analysis of Information Flows... |
CSFW
2003
IEEE
13 years 9 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
ISSTA
2010
ACM
13 years 8 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...