OpenAlex | A Type Inference Algorithm for Secure Ambients

A Type Inference Algorithm for Secure Ambients

Work

Year: 2002

Type: article

Abstract: We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We ... more

Source: Electronic Notes in Theoretical Computer Science

Authors Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone

Institutions University of Catania, University of Turin, University of Sussex

Cites: 15

Cited by: 8

Related to: 10

FWCI: 0.828

Citation percentile (by year/subfield): 75.22

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold