2486 search results - page 46 / 498 » A Type System for Computationally Secure Information Flow |
ISSTA
2010
ACM
14 years 10 days 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 ...
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
Computer security breaches are already a major problem in using computers. The most basic defense against it is to monitor and audit the computer logs. Computer logs, however, hav...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
BMCBI
2005
13 years 8 months ago
2005
Background: Single Nucleotide Polymorphism (SNP) genotyping is a major activity in biomedical research. The Taqman technology is one of the most commonly used approaches. It produ...