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]

Abstract

Abstract is missing.