Logica provided security consultancy to NatWest Bank, through, who were in the process of developing high assurance smartcard based products to E6. The consultancy covered various aspects of electronic commerce and trading.
As part of the consultancy, Logica provided a team of formal methods experts to assist in the development of formally proven, high assurance smartcard based applications.
Some of the products were developed to undergo evaluation to ITSEC level E6 by the Logica CLEF. These were the first such products to target evaluation to E6, and as such broke new ground in the development of high assurance products.
Various discussions and technical details can be found in: