Proof — Time-sharing
Statement
CTSS; Multics; password security. Proved in ZFC.
Source
ACM Turing Award 1990. CTSS; Multics; password security. Proved in ZFC.
Domains
computer-science
CTSS; Multics; password security. Proved in ZFC.
ACM Turing Award 1990. CTSS; Multics; password security. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/corbato-turing-1990/