2814 search results - page 85 / 563 » Can We Make Operating Systems Reliable and Secure |
146
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
146
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
138
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Payload attribution is an important problem often encountered in network forensics. Given an excerpt of a payload, finding its source and destination is useful for many security ...
149
Voted
WS
2004
ACM
15 years 10 months ago
2004
ACM
The IEEE 802.15.4 specification outlines a new class of wireless radios and protocols targeted at low power devices, personal area networks, and sensor nodes. The specification ...
150
click to vote
SIGMETRICS
2010
ACM
15 years 4 months ago
2010
ACM
Modern storage systems use thousands of inexpensive disks to meet the storage requirement of applications. To enhance the data availability, some form of redundancy is used. For e...