2486 search results - page 141 / 498 » A Type System for Computationally Secure Information Flow |
ECLIPSE
2005
ACM
13 years 11 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
EUROSYS
2009
ACM
14 years 6 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
EUROSEC
2010
ACM
14 years 3 months ago
2010
ACM
Fighting global security threats with only a local view is inherently difficult. Internet network operators need to fight global phenomena such as botnets, but they are hampered...
TRUSTBUS
2005
Springer
14 years 2 months ago
2005
Springer
The executions of operating system services based on smart cards allow one to personalize some functionalities of the operating system by using the secret information stored in a s...
SISW
2003
IEEE
14 years 2 months ago
2003
IEEE
Computer forensic analysis, intrusion detection and disaster recovery are all dependent on the existence of trustworthy log files. Current storage systems for such log files are...