A master thesis from Aalborg University
'Digital Signature and Blocking in Mobile Ambients'
Author(s)
Term
10. Term
Education
Publication year
2006
Submitted on
2012-02-14
Abstract
'The calculus of Mobile Ambients derives its process primitives from the pi-calculus. It introduces the notion of a bounded environment(the ambient) where processes or mobile agents co-operate. An ambient consists of a set of local agents and possibly other subambients. Ambients are moved as a whole under the control of the enclosed agents, which are confined to their ambients. This report presents a variant of Mobile Ambients. It addresses the security issues of robustness against malicious tampering, access control and execution safety by introducing the concept of digital signature and blocking into ambients. The model of Digitally Signed Ambients with Blocking on Capabilities(DSABC) is similar to the Java Sandbox model for JDK2.0 and Umbrella project developed for Linux security. A type system which captures various security policies has been presented based on the proposed calculus. '
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.