@phdthesis{grall:tel-00007549,
  TITLE = {{Deux crit{\`e}res de s{\'e}curit{\'e} pour l'ex{\'e}cution de code mobile}},
  AUTHOR = {Grall, Herv{\'e}},
  URL = {https://pastel.hal.science/tel-00007549},
  NOTE = {Membre du Jury: Leroy, Xavier et Cot, Norbert et Caucal, Didier et Jensen, Thomas et Lalement, Ren{\'e}},
  SCHOOL = {{Ecole des Ponts ParisTech}},
  YEAR = {2003},
  MONTH = Dec,
  KEYWORDS = {Logique math{\'e}matique ; Syst{\`e}mes d'inf{\'e}rence ; D{\'e}finitions inductives et co-inductives ; treillis ; informatique th{\'e}orique ; {\'e}quations r{\'e}cursives ; arbres ; Lambda-calcul ; langages de programmation ; s{\'e}mantiques op{\'e}rationnelle et d{\'e}notationnelle ; s{\'e}curit{\'e} informatique ; mobilit{\'e} ; flux d'informations ; confidentialit{\'e} ; contr{\^o}les d'acc{\`e}s ; confinement},
  TYPE = {Theses},
  PDF = {https://pastel.hal.science/tel-00007549v1/file/tel-00007549.pdf},
  HAL_ID = {tel-00007549},
  HAL_VERSION = {v1},
}