Safeguard data-processing system: Introduction and overview | Nokia Bell Labs Journals & Magazine | IEEE Xplore