311 search results - page 32 / 63 » Secure Information Flow by Self-Composition |
104
click to vote
IEEEARES
2009
IEEE
15 years 4 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...
70
Voted
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
80
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
ASIAN
2006
Springer
15 years 1 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
ESORICS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...