Technical Report no. 2004–08 Formalisation and Verification of JAVA CARD Security Properties in Dynamic Logic

First Page		Document Content
Date: 2015-05-16 14:10:32		Technical Report no. 2004–08 Formalisation and Verification of JAVA CARD Security Properties in Dynamic Logic Add to Reading List Source URL: ceres.hh.se Download Document from Source Website File Size: 349,06 KB Share Document on Facebook