3452 search results - page 524 / 691 » Secure Data Outsourcing |
125
click to vote
IEEESP
2011
14 years 8 months ago
2011
Botnets, networks of malware-infected machines that are controlled by an adversary, are the root cause of a large number of security problems on the Internet. A particularly sophi...
173
click to vote
ICC
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Wireless Sensor Networks are proven highly successful in many areas, including military and security monitoring. In this paper, we propose a method to use the edge–bet...
151
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
136
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
144
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...