A security model for functional active objects
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488
(2012)
A security model for functional active objects.
In:
Communicability, computer graphics and innovative design for interactive systems.
Francisco, Cipolla-Ficarra, Kim, Veltman, Miguel, Cipolla-Ficarra and Andreas, Kratky, eds.
Lecture Notes in Computer Science
(7545)
.
Springer, Berlin, pp. 42-50.
ISBN 9783642337598.
[Book Section]
(doi:10.1007/978-3-642-33760-4_4)
This is the latest version of this item.
Abstract
In this paper we describe a language based security model for distributed computing based on functional active objects intended to build a basis for Distributed Information Flow Control (DIFC) and contrast it to earlier models in particular the prominent model by Myers and Liskov. We carefully motivate the assumptions concerning secure communication in distributed object-oriented scenarios, show that they naturally lead to futures as the security abstraction of object oriented message passing, and motivate our assumptions by an example. Finally, the stepping stones to a formal foundation of the model are summarized: the notion of visibility, the security classes, and a definition of information-flow security for distributed active objects.
Item Type: | Book Section |
---|---|
Additional Information: | Book Subtitle - First International Symposium, CCGIDIS 2011, Córdoba, Spain, June 28-29, 2011, Revised Selected Papers |
Keywords (uncontrolled): | Distributed systems; security; functional active objects |
Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group A. > School of Science and Technology > Computer Science > Artificial Intelligence group |
Item ID: | 9236 |
Useful Links: | |
Depositing User: | Dr Florian Kammueller |
Date Deposited: | 26 Jul 2012 08:18 |
Last Modified: | 13 Oct 2016 14:24 |
URI: | https://eprints.mdx.ac.uk/id/eprint/9236 |
Available Versions of this Item
-
A security model for functional active objects. (deposited 25 May 2012 11:14)
- A security model for functional active objects. (deposited 26 Jul 2012 08:18) [Currently Displayed]
Actions (login required)
![]() |
View Item |
Statistics
Additional statistics are available via IRStats2.