On the challenge of delivering high-performance, dependable, model-checked internet servers (2005)
by
Anil Madhavapeddy
,
David Scott
| Venue: | In First Workshop on Hot Topics in System Dependability |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Madhavapeddy05onthe,
author = {Anil Madhavapeddy and David Scott},
title = {On the challenge of delivering high-performance, dependable, model-checked internet servers},
booktitle = {In First Workshop on Hot Topics in System Dependability},
year = {2005},
pages = {37--42}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A typical Internet server finds itself in the middle of
Citations
| 388 | Enforceable security policies - Schneider - 2000 |
| 346 | The SPIN Model Checker: Primer and Reference Manual - Holzmann - 2003 |
| 217 | Improving host security with system call policies - Provos - 2003 |
| 93 | Preventing Privilege Escalation - Provos, Friedl, et al. - 2003 |
| 71 | Model-carrying code: a practical approach for safe execution of untrusted applications - Sekar, Venkatakrishnan, et al. - 2003 |
| 13 | Rigour is good for you, and feasible: reflections on formal treatments of C and UDP sockets - Norrish, Sewell, et al. - 2002 |
| 8 | Developing a high-performance web server in Concurrent Haskell - Marlow |
| 5 | occwserv – an occam Web-Server - Barnes - 2001 |
| 5 | A network protocol stack in Standard ML. Higher Order Symbol - Biagioni, Harper, et al. - 2004 |
| 4 | The case for abstracting security policies - Madhavapeddy, Mycroft, et al. - 2003 |
| 2 | IETF Secure Shell Working Group (secsh). http://ietf.org/ html.charters/secsh-charter.html - Sommerfeld |
| 1 | Objective Caml (OCaml). http:// caml.inria.fr - Leroy |
