3003 search results - page 292 / 601 » Software Security: Building Security In |
162
click to vote
SOSP
2009
ACM
16 years 2 months ago
2009
ACM
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
166
click to vote
ICISC
2009
15 years 3 months ago
2009
Abstract. The design of embedded processors demands a careful tradeoff between many conflicting objectives such as performance, silicon area and power consumption. Finding such a t...
184
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
We present and empirically analyze a machine-learning approach for detecting intrusions on individual computers. Our Winnowbased algorithm continually monitors user and system beh...
162
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
122
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
In this paper, we propose a Proximity Based automated Access Control (PBAC) model for smart-ED environments which improves the existing ED work-flow by automating mundane administ...