Towards a resource-safe Erlang - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Towards a resource-safe Erlang

Abstract

Slowly but surely, industry is discovering the need for programming languages, runtime environments and methodologies adapted to collaborative and distributed computing platforms. However, current distributed platforms, whether industrial or academic, are generally fragile with respect to resource exhaustion, and can provide, at best, ad hoc solutions to counter accidents or denial of service attacks. In this paper, we examine the problem of resource management in Erlang, that is providing services for distant use, while ensuring that untrusted third-parties using the services may not cause the exhaustion of memory, file handles or other limited resources. For this, we use targettable/extendable pi-calculus specification language and provide a formal semantics for a subset of core Erlang, as well as a model of some of its library. From these models, we derive a type system for formally guaranteeing robustness of services with respect to denial of service attacks.

Dates and versions

hal-00466196 , version 1 (23-03-2010)

Identifiers

Cite

David Teller. Towards a resource-safe Erlang. Workshop on Collaboration and Security, May 2007, Orlando, United States. pp.66-71, ⟨10.1109/CTS.2007.4621739⟩. ⟨hal-00466196⟩
79 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More