2726 search results - page 16 / 546 » Application security support in the operating system kernel |
138
click to vote
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
134
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Traditional Data Mining and Knowledge Discovery algorithms assume free access to data, either at a centralized location or in federated form. Increasingly, privacy and security co...
122
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
142
click to vote
SIGCOMM
1994
ACM
15 years 8 months ago
1994
ACM
Applications communicating over connectionless networks, such as IP, cannot obtain per-connection Quality of Service (QoS) guarantees. In contrast, the connection-oriented nature ...
121
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We present a technique for automatic placement of authorization hooks, and apply it to the Linux security modules (LSM) framework. LSM is a generic framework which allows diverse ...