Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In: European Symposium on Programming, ESOP'04.. pp. 171-187.
Download
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 232Kb |
Abstract
The Ambient calculus is a successful model of distributed,
mobile computation, and has been the vehicle of new ideas for resource
access control. Mobility types have been used to enforce elementary
access control policies, expressed indirectly via classification of ambients
in groups by means of ‘group types.’ The paper presents a theory of
dependent types for the Ambient calculus which allows greater flexibility,
while keeping the complexity away from the programmer into the type
system.
| Creators: | C. Lhoussaine, V. Sassone |
|---|---|
| Item Type: | Conference or Workshop Item |
| Keywords: | resource access control, type systems, dependent types, ambient calculus |
| Research Group: | Dependable Systems and Software Engineering Research Group |
| Deposited On: | 11 Apr 2006 by Sassone, Vladimiro |
| ISBN: | 3-540-21313-9 |
| ID Code: | 12298 |
| Last Modified: | 11 Nov 2009 12:27 |
| Performance Indicator: | EZ~02~01~04 |
| Citations: | ISI: 6, Google Scholar: 21 |
Tools
Metadata
Download Statistics
Members of ECS may view the download statistics dashboard for this record.
Corrections
ECS staff and postgraduates may modify this record
