Computer
Microkernels meet recursive virtual machines
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
The Flux OSKit: a substrate for kernel and language research
Proceedings of the sixteenth ACM symposium on Operating systems principles
Limbo: a tuple space based platform for adaptive mobile applications
ICODP/ICDP '97 Proceedings of the IFIP/IEEE international conference on Open distributed processing and distributed platforms
Proceedings of the 21st international conference on Software engineering
EROS: a fast capability system
Proceedings of the seventeenth ACM symposium on Operating systems principles
Communications of the ACM
A user authentication scheme not requiring secrecy in the computer
Communications of the ACM
Hitting the distributed computing sweet spot with TSpaces
Computer Networks: The International Journal of Computer and Telecommunications Networking - pervasive computing
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Description of a New Variable-Length Key, 64-bit Block Cipher (Blowfish)
Fast Software Encryption, Cambridge Security Workshop
RIPEMD-160: A Strengthened Version of RIPEMD
Proceedings of the Third International Workshop on Fast Software Encryption
Towards customisable tuple field matching in VLOS
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Coordination with multicapabilities
Science of Computer Programming
Coordination with multicapabilities
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
VLOS is a project investigating the suitability of a tuple space-based distributed operating system for running computationally intensive distributed applications on clusters of commodity (i.e., Intel™PC based) hardware. Unlike previous efforts, UNIX backwards compatibility is not a goal of VLOS.In order to provide task-level granularity security for tuple spaces, field types and type signatures, a capability-based system has been developed for VLOS. The distributed capability system uses an arbitration scheme in which the nodes in a cluster of commodity workstations elect a single node to manage namespace allocations, to ensure that there are no collisions in the assignment of new tuple object identities.Initial implementations have been developed to run as Linux applications and to execute "stand-alone" with the support of the Flux OSKit. Trials show that the distributed capability security system for VLOS meets our initial design requirements, and is effective in providing (distributed) system-wide protection of tuple spaces, type signatures and field types.