5488 search results - page 1074 / 1098 » On the Secure Implementation of Security Protocols |
234
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
272
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
141
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
Network worms are a clear and growing threat to the security of today's Internet-connected hosts and networks. The combination of the Internet's unrestricted connectivit...
120
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Database outsourcing becomes increasingly attractive as advances in network technologies eliminate the perceived performance difference between in-house databases and outsourced d...
120
click to vote
MOBISYS
2008
ACM
16 years 3 months ago
2008
ACM
Automotive traffic monitoring using probe vehicles with Global Positioning System receivers promises significant improvements in cost, coverage, and accuracy. Current approaches, ...