Hangout for experimental confirmation and demonstration of software, computing, and networking. The exercises don't always work out. The professor is a bumbler and the laboratory assistant is a skanky dufus.
ACM News Service: Adding Reliability and Trust to Smart Cards. 2004-10-31: It is interesting to notice that European smart cards have not achieved the higher levels of Common Criteria security certification. The article then mentions the Java VM-equipped smart cards as if an improvement. Now you need operating-system certification, and I don't see how that makes things easier.
Just the same, this 2004-10-27 IST Results feature is about VerifiCard, a project to provide tools for the formal parts required under Common Criteria (in the form of ISO 15408 compliance). It will be interesting to see how this all works out, considering that the JVM-based smart card is programmable.
