Matching in security-by-contract for mobile code

Nataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan. Matching in security-by-contract for mobile code. Journal of Logic and Algebraic Programming, 78(5):340-358, 2009. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: