skip to main content
Idioma:

Dynamic and Local Typing for Mobile Ambients

Coppo, Mario ; Dezani-Ciancaglini, Mariangiola ; Giovannetti, Elio ; Pugliese, Rosario

Exploring New Frontiers of Theoretical Informatics, p.577-590

Boston, MA: Springer US

Texto completo disponível

Citações Citado por
  • Título:
    Dynamic and Local Typing for Mobile Ambients
  • Autor: Coppo, Mario ; Dezani-Ciancaglini, Mariangiola ; Giovannetti, Elio ; Pugliese, Rosario
  • Assuntos: Ambient calculi ; dynamic exchange of rights ; local type checking ; type systems for security
  • É parte de: Exploring New Frontiers of Theoretical Informatics, p.577-590
  • Notas: Partially supported by EU FET - Global Computing initiative, project MIKADO IST-2001-32222.
    Partially supported by EU FET - Global Computing initiative, project DART IST-2001-33477.
  • Descrição: An ambient calculus with both static and dynamic types is presented, where the latter ones represent mobility and access rights that may be dynamically consumed and acquired in a controlled way. Novel constructs and operations are provided to this end. Type-checking is purely local, except for a global hierarchy that establishes which locations have the authority to grant rights to which: there is no global environment (for closed terms) assigning types to names. Each ambient or process move is subject to a double authorization, one static and the other dynamic: static type-checking controls (communication and) “active” mobility rights, i.e., where a given ambient or process has the right to go; dynamic type-checking controls “passive” rights, i.e., which ambients a given ambient may be crossed by and which processes it may receive.
  • Títulos relacionados: IFIP International Federation for Information Processing
  • Editor: Boston, MA: Springer US
  • Idioma: Inglês
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.