Using Ambients to Control Resources

Abstract : Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals attempt at reducing the threat of bugs and preventing several kinds of attacks. In this paper, we develop an extension of the calculus of Mobile Ambients, named
Document type :
Reports
Complete list of metadatas

https://hal-lara.archives-ouvertes.fr/hal-02101869
Contributor : Colette Orange <>
Submitted on : Wednesday, April 17, 2019 - 9:08:37 AM
Last modification on : Wednesday, November 20, 2019 - 3:12:01 AM

File

RR2002-16.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02101869, version 1

Collections

Citation

D. Teller, P. Zimmer, Daniel Hirschkoff. Using Ambients to Control Resources. [Research Report] LIP RR-2002-16, Laboratoire de l'informatique du parallélisme. 2002, 2+28p. ⟨hal-02101869⟩

Share

Metrics

Record views

11

Files downloads

39