Enforcing Java run-time properties using bytecode rewriting

DOI10.1007/3-540-36532-X_12MaRDI QIDQ4418575zbMATH OpenFDO

Authors Algis Rudys, Dan S. Wallach

Publication date 11 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2609/26090185.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25)

Recommendations

• Theorem Proving in Higher Order Logics
• Improving the official specification of Java bytecode verification
• Reflections on MOPs, components, and Java security
• scientific article; zbMATH DE number 2089397
• scientific article; zbMATH DE number 2018595

Cited in

(2)

• scientific article; zbMATH DE number 2018595 (Why is no real title available?)
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation

This page was built for publication: Enforcing Java run-time properties using bytecode rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4418575)