14824 search results - page 2374 / 2965 » Security - Introduction |
190
click to vote
IEEEARES
2009
IEEE
16 years 29 days 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...
189
click to vote
MSWIM
2009
ACM
16 years 29 days ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...
181
click to vote
MSWIM
2009
ACM
16 years 29 days ago
2009
ACM
Wireless sensor networks have attracted increasing attentions considering their potentials for being widely adopted in both emerging civil and military applications. A common prac...
155
Voted
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
183
click to vote
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...