P. S. Tasker

Secure On-Line Processing Technology.

D. E. Bell, R. S. Fiske, M. Gasser, 1974 .

Design and Certification Approach: Secure Communications Processor,

D. E. Bell, P. S. Tasker, 1973 .

DEPARTMENT OF DEFENSE TRUSTED COMPUTER SYSTEM EVALUATION CRITERIA

P. S. Tasker, D. J. Edwards, R. Schell, 1985 .