[Benzel84] T. V. Benzel Further Analysis of the SCOMP System Verification, DOD/NBS, 7th Security Conference, Sept, 1984, []