13489 search results - page 2485 / 2698 » Operating System |
193
click to vote
ACSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Heap spraying is an attack technique commonly used in hijacking browsers to download and execute malicious code. In this attack, attackers first fill a large portion of the victim...
188
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
Bug reporting/fixing is an important social part of the software development process. The bug-fixing process inherently has strong inter-personal dynamics at play, especially in h...
179
click to vote
TISSEC
2010
15 years 1 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
228
click to vote
GRAPHICSINTERFACE
2011
14 years 10 months ago
2011
Multi-display environments (MDEs) connect several displays into a single digital workspace. One of the main problems to be solved in an MDE’s design is how to enable movement of...
226
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...