Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources.

Mikkel Bundgaard Thomas T. Hildebrandt Jens Chr. Godskesen Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. 23-38 2007 194 Electr. Notes Theor. Comput. Sci. 1 http://dx.doi.org/10.1016/j.entcs.2007.09.011 db/journals/entcs/entcs194.html#BundgaardHG07