The Serial Product of Controlled Signalling Systems
Abstract
The controlled signalling system is a finite-state deterministic model of information disclosure on a computer system. The model includes high- level and low level cooperating processes. The processes cooperate to covertly send data from the high-level process (transmitter) to the low-level process (receiver). The capacity of a controlled signalling system is a measure of the amount of information the high-level process can disclose to the low-level process. The serial product is a binary operation on the class of controlled signalling systems. The capacity of the serial product of two controlled signalling systems can be strictly greater than the capacities of the individual systems. The r-controlled signalling systems are a subclass of controlled signalling systems; for r-controlled signaling systems, the serial product capacity is the maximum of the individual capacities.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1991
- Accession Number
- ADA244576
Entities
People
- Jonathan T. Trostle
Organizations
- MITRE Corporation