The 1979 paper "The foundations of a provably secure operating system (PSOS)" introduces a pioneering approach to computer security. Provably secure systems represent an early attempt to mathematically demonstrate that software meets specific security requirements, contrasting with the ad-hoc security methods prevalent at the time.

Published when personal computers were emerging, this work recognized that security could not be an afterthought. The authors formalized concepts like reference monitor and trusted computing base - ideas that continue to influence modern security frameworks. Their approach shifted security from testing to mathematical proof.

Despite its age, the paper's influence extends to contemporary security architectures. The principles established in this 1979 work laid groundwork for systems like SELinux and formal verification methods used today. Early security thinking proved more prescient than many realized.