Confinement for active objects
Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488
(2015)
Confinement for active objects.
International Journal of Advanced Computer Science and Applications, 6
(2)
.
pp. 246-261.
ISSN 2158-107X
[Article]
(doi:10.14569/IJACSA.2015.060236)
|
PDF
- Published version (with publisher's formatting)
Available under License Creative Commons Attribution 4.0. Download (1MB) | Preview |
Abstract
In this paper, we provide a formal framework for the security of distributed active objects. Active objects communicate asynchronously implementing method calls via futures. We base the formal framework on a security model that uses a semi-lattice to enable multi-lateral security crucial for distributed architectures. We further provide a security type system for the programming model ASPfun of functional active objects. Type safety and a confinement property are presented. ASPfun thus realizes secure down calls.
| Item Type: | Article |
|---|---|
| Keywords (uncontrolled): | Distributed active objects, formalization, security type systems |
| Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group |
| Item ID: | 15188 |
| Useful Links: | |
| Depositing User: | Florian Kammueller |
| Date Deposited: | 23 Apr 2015 11:04 |
| Last Modified: | 29 Nov 2022 23:00 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/15188 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)