454 search results - page 37 / 91 » Making distributed systems secure with program analysis and ... |
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
—One of the major threats to cyber security is the Distributed Denial-of-Service (DDoS) attack. In our previous projects, PacketScore, ALPi, and other statistical filtering-based...
ASPLOS
2004
ACM
14 years 1 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
CCS
2010
ACM
13 years 8 months ago
2010
ACM
Securing wireless sensor networks against node capture is a challenging task. All well-known random key pre-distribution systems, including the Eschenauer and Gligor's pionee...
SIGSOFT
2004
ACM
14 years 8 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...