244 search results - page 2 / 49 » Dynamic Dependency Monitoring to Secure Information Flow |
CSFW
2010
IEEE
13 years 9 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
ESORICS
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
CSFW
2007
IEEE
13 years 9 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
ASIAN
2006
Springer
13 years 9 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...
ERSHOV
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...