[Walker80] Walker, S. T., The Advent of Trusted Computer Operating Systems, National Computer Conference Proceedings, May 1980, pp. 655-665. []