Types for Access Control in a Calculus of Mobile Resources

Authors:
Hans Hüttel;Morten Kühnrich
Affiliations:
Department of Computer Science, Aalborg University, Fredrik Bajersvej 7E, 9220 Aalborg Ø, Denmark;Department of Computer Science, University of Copenhagen, Universitetsparken 1, 2100 København, Denmark
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 3
Cited 0

Polymorphic effect systems

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Calculus of Mobile Resources

CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Typing and Subtyping Mobility in Boxed Ambients

CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a type system for the calculus of Mobile Resources (MR) proposed by Godskesen et al. The type system is able to prevent undesirable border-crossing behaviour such as Trojan horses. This is achieved by combining the notion of group with a notion of security policy. Well-typed processes satisfy a safety property which is preserved under reduction. An algorithm is presented which computes the minimal security policy making a process well typed.