3420 search results - page 304 / 684 » A Language-Based Approach to Security |
166
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...
179
click to vote
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
148
click to vote
CCS
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...
173
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...
163
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
A practically feasible modification to fixed-priority schedulers allows to avoid timing channels despite threads having access to precise clocks. This modification is rather simpl...