2257 search results - page 128 / 452 » Secure program partitioning |
SIGCSE
2010
ACM
14 years 3 months ago
2010
ACM
The “Hacker Curriculum” exists as a mostly undocumented set of principles and methods for learning about information security. Hacking, in our view, is defined by the ability...
ASPLOS
2008
ACM
13 years 11 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
IEEEARES
2006
IEEE
14 years 3 months ago
2006
IEEE
Distributed object systems for partitionable systems present a challenge, in that there is a trade-off between availability and consistency. Changes in one partition are not visib...
IJNSEC
2007
13 years 8 months ago
2007
Intrusion detection is the process of monitoring the events occurring in a computer system or network and analyzing them for signs of intrusions, defined as attempts to compromis...