1299 search results - page 172 / 260 » On the Correctness of Operating System Kernels |
176
click to vote
JCS
2002
15 years 6 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
183
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
189
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
169
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...
156
click to vote
SRDS
2008
IEEE
16 years 22 days ago
2008
IEEE
We present an empirical study of the resistance of several protocols to denial of service (DoS) attacks on client-server communication. We show that protocols that use authenticat...