Editorial: a view of cryptography in TCSEC products | IEEE Conference Publication | IEEE Xplore