Secure Prolog-based mobile code

DOI10.1017/S1471068401001211zbMATH Open1066.68515WikidataQ56059071 ScholiaQ56059071MaRDI QIDQ4452634FDOQ4452634

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)

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

zbMATH Keywords

LogicWeb mobile code

Mathematics Subject Classification ID

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

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)