I. Introduction
Although there have been many studies into secure coding techniques [1] [2], a more efficient strategy is to assess program security at design time. We have previously proposed a set of metrics which allow designers to compare the security of various alternative designs for a given object-oriented program [3] [4], by quantifying potential information flow from ‘classified’ data values.