878 search results - page 45 / 176 » A Compiler-Based Approach to Data Security |
EUROPKI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
HIKM
2006
ACM
15 years 3 months ago
2006
ACM
Many methodologies have been proposed in the last decade for integration and exchange of medical data. However, little progress has occurred due to the following reasons. First, p...
ESOP
2010
Springer
15 years 1 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
ISI
2008
Springer
14 years 8 months ago
2008
Springer
In this paper, we study the problem of anomaly detection in high-dimensional network streams. We have developed a new technique, called Stream Projected Ouliter deTector (SPOT), t...
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Kernel-level attacks or rootkits can compromise the security of an operating system by executing with the privilege of the kernel. Current approaches use virtualization to gain hi...