This article examines the issues involved in certifying a smartcard to the Holy grail of the ISEC evaluation levels: E6. First of all, the Motivation behind certification itself is Discussed. Then, key issues are highlighted Based on Logica's experience in evaluating to Such a high assurance level. The way that the Boundaries of existing design and evaluation Practice have had to be pushed forwards is Documented.
展开▼