Secure Prolog-based mobile code

DOI10.1017/S1471068401001211MaRDI QIDQ4452634zbMATHWikidataFDO

Authors S. W. Loke, Andrew J. Davison

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

LogicWeb mobile code

Mathematics Subject Classification ID

Logic programming (68N17) Network design and communication in computer systems (68M10)

Recommendations

• LogicWeb: Enhancing the Web with logic programming
• Automated techniques for provably safe mobile code.
• Certification Using the Mobius Base Logic
• Proving the correctness of mobile Java code
• The Logic of Proofs as a Foundation for Certifying Mobile Computation

This page was built for publication: Secure Prolog-based mobile code

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