Behavioural typing for safe ambients
type: Item
instance of: scholarly article
title: Behavioural typing for safe ambients
zbMATH Open document ID: 1028.68005
DOI: 10.1016/S0096-0551(02)00008-5
author: Michele Bugliesi
author: Giuseppe Castagna
published in: Computer Languages, Systems \& Structures
publication date: 2003-05-04T00:00:00Z
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68P25
zbMATH DE Number: 1903503
zbMATH Keywords: Types
zbMATH Keywords: Type-and-effects systems
zbMATH Keywords: Mobility
zbMATH Keywords: Security
zbMATH Keywords: Secure Safe Ambients
MaRDI profile type: Publication
cites work: Mobile ambients
cites work: Controlling interference in ambients
cites work: Secure safe ambients
cites work: Q4116055
cites work: Q2763674
cites work: Q4536435
cites work: Shape analysis for mobile ambients
cites work: Q4778710
cites work: Q4778709
cites work: Q2763677
description: scientific article; zbMATH DE number 1903503