Book chapter
OA Policy
English

Mobile Computations and Hostile Hosts

Published inTsichritzis, Dionysios (Ed.), Trusted objects = Objets de confiance, p. 241-256
PublisherGenève : Centre universitaire d'informatique
Publication date1999-07
Abstract

This paper scratches the surface of the problem of classifying the attacks that a mobile computation can be subjected to in an open network. The discussion is based on a simplified version of the Seal calculus. We show the impact of these attacks on the semantics of the calculus and on the notion of observational equivalence.

Citation (ISO format)
VITEK, Jan, CASTAGNA, Giuseppe. Mobile Computations and Hostile Hosts. In: Trusted objects = Objets de confiance. Tsichritzis, Dionysios (Ed.). Genève : Centre universitaire d’informatique, 1999. p. 241–256.
Main files (1)
Book chapter (Published version)
Identifiers
  • PID : unige:155913
118views
67downloads

Technical informations

Creation02/11/2021 11:01:00
First validation02/11/2021 11:01:00
Update16/03/2023 01:41:04
Status update16/03/2023 01:41:04
Last indexation31/10/2024 23:35:49
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack