Letters to the editor: A protection model and its implementation in a dataflow system

Authors:
Lubomir Bic
Affiliations:
Univ. of California, Irvine, Irvine
Venue:
Communications of the ACM
Year:
1982

Citing 7
Cited 0

Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Protection in programming languages

Communications of the ACM
A note on the confinement problem

Communications of the ACM
Protection in the Hydra Operating System

SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
A study of protection in programming languages

Proceedings of an ACM conference on Language design for reliable software
COOPERATION OF MUTUALLY SUSPICIOUS SUBSYSTEMS IN A COMPUTER UTILITY

COOPERATION OF MUTUALLY SUSPICIOUS SUBSYSTEMS IN A COMPUTER UTILITY
Protection and security in a dataflow system.

Protection and security in a dataflow system.

Quantified Score

Hi-index	48.22

Visualization

Abstract

A protection model is presented for a general purpose computing system based on tags attached as seals and signatures to values exchanged among processes. A tag attached to a value as a seal does not prevent that value from being propagated to any place within the system; rather, it guarantees that the value and any information derived from it cannot leave the system unless a matching tag is presented. A tag attached to a value as a signature is used by a process to verify the origin of the received data. Solutions to problems from the areas of interprocess communication and proprietary services are given.