Technical Report no. 2004–08 Formalisation and Verification of JAVA CARD Security Properties in Dynamic Logic - Java Card - Document - PDFSEARCH.IO

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

Technical Report no. 2004–08 Formalisation and Verification of JAVA CARD Security Properties in Dynamic LogicAdd to Reading List