Open AccessBook
Capability-Based Computer Systems
About:
The article was published on 1984-01-01 and is currently open access. It has received 509 citations till now. The article focuses on the topics: Computer network programming & Software system.read more
Citations
More filters
Book ChapterDOI
An Access Control Model for a Parallel Object-Based Programming Language
TL;DR: In this paper, an access control model designed for a parallel object-based language is presented and it is integrated into a small language.
Peer Review
Survey of Approaches for Security Verification of Hardware/Software Systems
TL;DR: Machine Symbolic Machines (MSM) as mentioned in this paper is a machine symbolic machine that can be used for symbolic machine learning, but it cannot be used with any other language classifier.
Proceedings ArticleDOI
Expanding the envelope of the object oriented approach
TL;DR: Concepts highlighted in this paper include message and event broadcasting, weighing and attenuation, continuous messages with emitters and sensors, degrees of membership, presence and relationships, continuously variable objects, and tolerant environments.