An example machine used for developing a proof strategy for secure systems /
Terry, P. F.
Royal Signals and Radar Establishment (Great Britain)
Malvern : Royal Signals and Radar Establishment,
1991.
Computer security.
Computers
Electronic data processing departments