A security model for functional active objects with an implementation in Erlang
Book chapter
Fleck, A. and Kammueller, F. 2011. A security model for functional active objects with an implementation in Erlang. in: Ficarra, F., Kratky, A., Veltman, K., Ficarra, M., Nicol, E. and Brie, M. (ed.) Computational informatics, social factors and new information technologies: hypermedia perspectives and avant-garde experiences in the era of communicability expansion Bergamo, Italy Blue Herons.
Chapter title | A security model for functional active objects with an implementation in Erlang |
---|---|
Authors | Fleck, A. and Kammueller, F. |
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. This paper further describes how the concept can be realized using the novel tool box Erlang Active Objects for functional active objects. We introduce Erlang and Erlang Active Objects, and show how our model of decentralized multilateral security can be implemented by a simple algorithm for a dynamic security check for Erlang Active Objects. |
Research Group | Foundations of Computing group |
Artificial Intelligence group | |
Book title | Computational informatics, social factors and new information technologies: hypermedia perspectives and avant-garde experiences in the era of communicability expansion |
Editors | Ficarra, F., Kratky, A., Veltman, K., Ficarra, M., Nicol, E. and Brie, M. |
Publisher | Blue Herons |
Place of publication | Bergamo, Italy |
Series | Computational Science and Engineering Collection |
ISBN | |
Hardcover | 9788896471043 |
ISSN | 9788896471043 |
Publication dates | |
Sep 2011 | |
Publication process dates | |
Deposited | 11 Jun 2012 |
Output status | Published |
Web address (URL) | http://www.blueherons.net/Computational%20Informatics,%20Social%20Factors%20and%20New%20Information%20Technologies.html |
Language | English |
Journal | Computational Informatics, Social Factors and New Information Technologies |
https://repository.mdx.ac.uk/item/83350
46
total views0
total downloads2
views this month0
downloads this month