Statecall Policy Language / Pearson / IOS Press / IETF Secure Shell Working Group / using SPL / /
Country
Netherlands / United States / / /
Event
FDA Phase / /
Facility
David Scott2 University of Cambridge Computer Laboratory1 / /
IndustryTerm
dependable applications / occam web-server / server protocol / Internet protocols / highperformance server / realworld protocols / Internet servers / Internet Drafts / Internet Servers Anil Madhavapeddy1 / exchange packets pragmatic language solution / dependable and analyzable server / Web servers / fixed public / typical Internet server / web server / hostile network / type-systems / Internet service / network protocols / secure software / /
OperatingSystem
UNIX / BSD / /
Organization
David Scott2 University of Cambridge Computer Laboratory1 / /
Person
R. Sekar / V / Dependable / /
Position
Harper / and P. Lee / compact run-time garbage collector / programmer / Model / /
Product
SSHv2 / /
ProgrammingLanguage
Objective Caml / Java / C / Python / HTML / Occam / Haskell / Perl / ANSI C / Promela / CamlP4 / Standard ML / Postscript / ML / C++ / /
Technology
Functional Programming / key exchange algorithm / policies Protocol / ANSI C / UNIX / server protocol / API / SSHv2 protocol / Internet protocols / Perl / HTML / UDP / Operating Systems / realworld protocols / TCP/IP / encryption / public key / Java / http / web server / network protocols / /
On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers Anil Madhavapeddy1 and David Scott2 University of Cambridge Computer Laboratory1 , Fraser Research2 1 , djs@fr