History-based access control for distributed processes

Authors:
Francisco Martins;Vasco Vasconcelos
Affiliations:
Department of Mathematics, University of Azores, Portugal;Department of Informatics, Faculty of Sciences, University of Lisbon, Portugal
Venue:
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Year:
2005

Citing 13
Cited 3

KLAIM: A Kernel Language for Agents Interaction and Mobility

IEEE Transactions on Software Engineering
History-based access control for mobile code

CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
Mobile ambients

Theoretical Computer Science
Types for access control

Theoretical Computer Science
Building Internet firewalls (2nd ed.)

Building Internet firewalls (2nd ed.)
Protecting privacy using the decentralized label model

ACM Transactions on Software Engineering and Methodology (TOSEM)
Resource access control in systems of mobile agents

Information and Computation
An Object Calculus for Asynchronous Communication

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Mobility Types for Mobile Ambients

ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Ambient Groups and Mobility Types

TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Controlling data movement in global computing applications

Proceedings of the 2004 ACM symposium on Applied computing
Towards a behavioural theory of access and mobility control in distributed systems

Theoretical Computer Science - Special issue: Foundations of wide area network computing
Resource access and mobility control with dynamic privileges acquisition

ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming

Mobility control via passports

Information and Computation
Flow Policy Awareness for Distributed Mobile Code

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Mobility control via passports

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a type system to control the migration of code between network nodes in a concurrent distributed framework, using the Dπ language. We express resource access policies as types and enforce policies via a type system. Types describe paths travelled by migrating code, enabling the control of history sensitive access to resources. Sites are logically organised in subnetworks that share the same security policies, statically specified by a network administrator. The type system guarantees that well-typed networks are exempt from security policy violations at runtime.