Papers to be presented at the 1oth Annual IEEE Conference on COMPuter ASSurance (COMPASS '95)