2486 search results - page 18 / 498 » A Type System for Computationally Secure Information Flow |
SIGUCCS
2000
ACM
14 years 5 days ago
2000
ACM
Crime on the Internet has become a formidable challenge for university information technology and student judicial systems. The nature of university computing requires a relativel...
NETWORKING
2004
13 years 10 months ago
2004
A common feature of congestion control protocols is the presence of information packets used to signal congestion. We address here the question of how frequently such protocols nee...
DSN
2009
IEEE
14 years 3 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...
ACSC
2006
IEEE
14 years 11 days ago
2006
IEEE
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...
ESORICS
2006
Springer
14 years 8 days ago
2006
Springer
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...