Confinement for Active Objects
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2015, Vol 6, Issue 2
Abstract
In this paper, we provide a formal framework for the security of distributed active objects. Active objects com-municate 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.
Authors and Affiliations
Florian Kammuller
Keywords
Related Articles
- EP ID EP127178
- DOI 10.14569/IJACSA.2015.060236
- Views 85
- Downloads 0
EEG based Brain Alertness Monitoring by Statistical and Artificial Neural Network Approach
Since several work requires continuous alertness like efficient driving, learning, etc. efficient measurement of the alertness states through neural activity is a crucial challenge for the researchers. This work reports...
ODSA: A Novel Ordering Divisional Scheduling Algorithm for Modern Operating Systems
CPU scheduling is defined as scheduling multiple processes that are required to be executed in a specific time period. A large number of scheduling algorithms have been proposed to achieve maximum CPU utilization/through...
A Comparative Study of White Box, Black Box and Grey Box Testing Techniques
Software testing is the process to uncover requirement, design and coding errors in the program. It is used to identify the correctness, completeness, security and quality of software products against a specification. So...
The Respondent’s Haptic on Academic Universities Websites of Pakistan Measuring Usability
This study based on survey, by using four higher educational (Universities) websites were selected for the usability testing with the help of response to the experience of eighty students of same age group and investigat...
An RGB Image Encryption Supported by Wavelet-based Lossless Compression
In this paper we have proposed a method for an RGB image encryption supported by lifting scheme based lossless compression. Firstly we have compressd the input color image using a 2-D integer wavelet transform. Then we h...