61 search results - page 13 / 13 » On the Automatic Analysis of Recursive Security Protocols wi... |
SOSP
2007
ACM
14 years 1 months ago
2007
ACM
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...