J. Feret, Abstract Interpretation-Based Static Analysis of Mobile Ambients.

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
J. Feret, Abstract Interpretation-Based Static Analysis of Mobile Ambients.

Jérôme Feret.
Abstract Interpretation-Based Static Analysis of Mobile Ambients.
In Proceedings of the 8th International Symposium on Static Analysis, SAS'01 Paris, France, July 15--18, 2001, P Cousot (Ed.), Lecture Notes in Computer Science 2126,
© Springer-Verlag, Berlin, Germany, pp 413--431.
Abstract: We use Abstract Interpretation to automatically prove safety properties of mobile ambients with first order communications. We introduce a non-standard semantics in order to distinguish different recursive instances of agents. This allows us to specify explicitly both the link between agents and the ambient names they have declared, and the link between agents and the ambients they have activated.
Then we derive from this non-standard semantics an abstract semantics which focuses on interactions between agents. This abstract semantics describes non uniformly which agents can be launched in which ambients and which ambient names can be communicated to which agents. Such a description is required to prove security properties such as non-interference or confinement for instance.}
Regular paper is available in Compressed PostScript (751 Ko).

Slides of the 30 mn talk are avaibable in Compressed PostScript (584 Ko).

@INPROCEEDINGS{feret:sas01,
  author = {J{\'e}r{\^o}me Feret},
  title = {Abstract Interpretation-Based Static Analysis of Mobile  Ambients},
  booktitle = {Eighth International Static Analysis Symposium (SAS'01)},
  series = {LNCS},
  page = {413--431},
  year = {2001},
  publisher = {Springer-Verlag},
  number = {2126},
  note = {© Springer-Verlag}
}

Back to: Index, Publications.

Jerome Feret

Last modified: Mon Jun 18 17:45:07 MEST