15690979
Results 1 to 1 of 1
Selection :
Using Coq to verify Java card<TM> applet isolation propertiesANDRONICK, June; CHETALI, Boutheina; LY, Olivier et al.Lecture notes in computer science. 2003, pp 335-351, issn 0302-9743, isbn 3-540-40664-6, 17 p.Conference Paper