Creating High-Performance, Statically Type-Safe Network Applications: Domain-Specific Languages for constructing network applications using Objective Caml

Creating High-Performance, Statically Type-Safe Network Applications: Domain-Specific Languages for constructing network applications using Objective Caml
Автор
 
Год
 
Страниц
 
180
ISBN
 
3838355873
Категория
 
Поступления - 2010 г. - Июнь.
Искать в интернет библиотекахКупить

Описание:

A typical Internet server finds itself in the middle of a virtual battleground, under constant threat from worms, viruses and other malware seeking to subvert the original intentions of the programmer. Critical Internet servers have had numerous security issues ranging from low-level buffer overflows to subtle logic errors. These problems have cost billions of dollars as the growth of the Internet exposes increasing numbers of computers to electronic malware. Despite the decades of research on techniques such as model-checking and type-safety, the vast majority of server implementations continue to be written unsafely and informally in C/C++. We describe an architecture for constructing new implementations of Internet protocols which integrates mature formal methods not currently used in deployed servers: 1) static type systems from the ML family of functional languages; 2) model checking to verify safety properties exhaustively about aspects of the servers; and 3)...

Похожие книги

A Practical Approach to WBEM/CIM ManagementA Practical Approach to WBEM/CIM Management
Автор: Hobbs C.
Год: 2004
Implementing SSH: Strategies for Optimizing the Secure ShellImplementing SSH: Strategies for Optimizing the Secure Shell
Автор: Himanshu Dwivedi
Год: 2003
Automating Linux and Unix System Administration, Second EditionAutomating Linux and Unix System Administration, Second Edition
Автор: Kirk Bauer, Nathan Campi
Год: 2008
Deploying Solutions with .NET Enterprise ServersDeploying Solutions with .NET Enterprise Servers
Автор: Young M., Young C.W.
Год: 2003
Principles of Transaction Processing for the Systems ProfessionalPrinciples of Transaction Processing for the Systems Professional
Автор: Bernstein Ph. A., Newcomer E.
Год: 1996