2422 search results - page 359 / 485 » Security Policy Consistency |
167
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
140
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
337
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
162
click to vote
TLCA
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
142
click to vote
DSN
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper describes an experimental approach to determine the correlation between port scans and attacks. Discussions in the security community often state that port scans should...