A note on the confinement problem

1973/10/01 by Butler W. Lampson, Butler Lampson · 22 citations
Computer Science · #Computability, Logic, AI Algorithms #Teaching and Learning Programming #Quantum Computing Algorithms and Architecture

paper · pdf · doi:10.1145/362375.362389

Abstract

onfining a program during its execution so that it cannot transmit information to any other program except its caller. A set of examples attempts to stake out the boundaries of the problem. Necessary conditions for a solution are stated and informally justified.

Cited by

• Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
• Prismata: Confining Cross-Site Prompt Injection in Web Agents
• Agentic Permissions Policy Algebra for Taint Confinement in LLM Agents
• SIMF: Single-Instruction Multiple-Flush Mechanism for Processor Temporal Isolation
• Silence Speaks Volumes: A New Paradigm for Covert Communication via History Timing Patterns
• Your Noise, My Signal: Exploiting Switching Noise for Stealthy Data Exfiltration from Desktop Computers
• Tool Use Enables Undetectable Steganography in Multi-Agent LLM Systems
• Development Trends in Steganography
• Covert and Side Channels Due to Processor Architecture
• Empirical Security Analysis of Software-based Fault Isolation through Controlled Fault Injection
• Toward a Mathematical Foundation for Information Flow Security
• An Analysis of Covert Timing Channels
• Asymptotic Security of Control Systems by Covert Reaction: Repeated Signaling Game with Undisclosed Belief
• SoK: Hardware Security Support for Trustworthy Execution
• Steganography of VoIP Streams
• Cross-Router Covert Channels
• An Insight to Covert Channels
• Mice and Covert Channels
• TEMPEST-LoRa: Cross-Technology Covert Communication
• From Constellation Dithering to NOMA Multiple Access: Security in Wireless Systems. [europepmc]
• LoRaWAN Physical Layer-Based Attacks and Countermeasures, A Review. [europepmc]
• NN-Based 8FSK Demodulator for the Covert Channel. [europepmc]
• Analysing potential data security losses in organisations based on subsequent users logins. [europepmc]

Related

• Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels
• Mixing a Covert and a Non-Covert User
• Contention resolution on a restrained channel
• A high-level characterisation and generalisation of communication-avoiding programming techniques
• Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits