519 search results - page 15 / 104 » Control flow obfuscation with information flow tracking |
CBSE
2011
Springer
12 years 8 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
ICNP
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper introduces a scalable maxmin flow control protocol which guarantees the minimum rate for each connection-oriented flow without requiring per-flow information. The proto...
ESORICS
2004
Springer
14 years 15 days 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...
PSIVT
2009
Springer
14 years 1 months ago
2009
Springer
This paper discusses the detection of moving objects (being a crucial part of driver assistance systems) using monocular or stereoscopic computer vision. In both cases, object dete...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...