1186 search results - page 130 / 238 » A New Approach to Secure Logging |
194
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
80
Voted
PIMRC
2008
IEEE
15 years 7 months ago
2008
IEEE
—While pure web-based services and P2P technologies are popular for personal and social networking, they both have inherent limitations. A hybrid P2P/Infrastrucutre approach coul...
127
click to vote
CCS
2005
ACM
15 years 6 months ago
2005
ACM
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...
119
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...
99
Voted
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
Enterprise network security is typically reactive, and it relies heavily on host security and middleboxes. This approach creates complicated interactions between protocols and sys...