Matching in security-by-contract for mobile code

DOI10.1016/j.jlap.2009.02.013zbMath1192.68236OpenAlexW2132477236WikidataQ47482649 ScholiaQ47482649MaRDI QIDQ2390033

I. Siahaan, K. Naliuka, Fabio Massacci, Nataliia Bielova, Nicola Dragoni

Publication date: 20 July 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2009.02.013

zbMATH Keywords

securitymobile coderun-time monitorsecurity-by-contract

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items

Matching in security-by-contract for mobile code, Security monitor inlining and certification for multithreaded Java

Uses Software

• jContractor
• ConSpec
• SPIN

Cites Work

• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
• Fair simulation
• Matching in security-by-contract for mobile code
• ConSpec - A formal language for policy specification
• Tools and Algorithms for the Construction and Analysis of Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item