6812 search results - page 60 / 1363 » Detection of Information Flows |
128
Voted
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...
108
click to vote
ESORICS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
108
click to vote
LISP
2002
15 years 1 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
151
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper we introduce a novel method to detect and
localize abnormal behaviors in crowd videos using Social
Force model. For this purpose, a grid of particles is placed
ove...
107
click to vote
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...