A guide to understanding trusted distribution in trusted systems (NCSC-TG ;, 1988)