Communications of the ACM · 1973 · 1.4K citations · 2 references
Computational Complexity TheoryEngineeringInformation SecurityExamples AttemptsConcurrent SystemSoftware AnalysisFormal VerificationConfinement ProblemOther ProgramSystems EngineeringNecessary ConditionsDiscrete MathematicsProgramming Language TheoryConcurrent ProgrammingExtremal Set TheoryComputer ScienceRuntime SystemProgram AnalysisConcurrency TheoryFormal MethodsSystem Software
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.
2
Butler Lampson · 1969 · 166 citations
Engineering, Information Security, Resilient Control System +23