Abstract interpretation-based mobile code certification

DOI10.1007/978-3-540-27775-0_31MaRDI QIDQ5313206zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Germán Puebla, Manuel Hermenegildo

Publication date 26 August 2005

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

Full work available at URL https://doi.org/10.1007/b99475

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Abstraction-carrying code: a model for mobile code safety
• Logic for Programming, Artificial Intelligence, and Reasoning
• Reduced Certificates for Abstraction-Carrying Code
• Proof-carrying code from certified abstract interpretation and fixpoint compression
• Certificate size reduction in abstraction-carrying code

Cited in

(13)

• Abstract interpretation of mobile systems
• Automated techniques for provably safe mobile code.
• Matching in security-by-contract for mobile code
• Certificate size reduction in abstraction-carrying code
• Proving the correctness of mobile Java code
• Certification Using the Mobius Base Logic
• Commanding a robot in a safe way
• Reduced Certificates for Abstraction-Carrying Code
• Certificate Translation in Abstract Interpretation
• Logic for Programming, Artificial Intelligence, and Reasoning
• Verification, Model Checking, and Abstract Interpretation
• Proof-carrying code from certified abstract interpretation and fixpoint compression
• Abstraction-carrying code: a model for mobile code safety

This page was built for publication: Abstract interpretation-based mobile code certification

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