2726 search results - page 330 / 546 » Application security support in the operating system kernel |
195
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents Keypad, an auditing file system for theftprone devices, such as laptops and USB sticks. Keypad provides two important properties. First, Keypad supports fine...
182
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
167
click to vote
CCR
2005
15 years 6 months ago
2005
This paper focuses on "router-based" defense mechanisms, and whether they can provide effective solutions to network Denialof-Service (DoS) attacks. Router-based defense...
211
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
157
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...