Secure Prolog Based Mobile Code

@article{Loke2001SecurePB,
  title={Secure Prolog Based Mobile Code},
  author={S. Loke and A. Davison},
  journal={ArXiv},
  year={2001},
  volume={cs.PL/0406012}
}
  • S. Loke, A. Davison
  • Published 2001
  • Computer Science
  • ArXiv
  • LogicWeb mobile code consists of Prolog-like rules embedded in Web pages, thereby adding logic programming behaviour to those pages. Since LogicWeb programs are downloaded from foreign hosts and executed locally, there is a need to protect the client from buggy or malicious code. A security model is crucial for making LogicWeb mobile code safe to execute. This paper presents such a model, which supports programs of varying trust levels by using different resource access policies. The… CONTINUE READING
    3 Citations

    Figures and Topics from this paper.

    A Hybrid Architecture for Web-based Expert Systems
    • 1
    • Highly Influenced
    • PDF
    Logic Programming Languages for the Internet
    • A. Davison
    • Computer Science
    • Computational Logic: Logic Programming and Beyond
    • 2002
    • 5

    References

    SHOWING 1-10 OF 46 REFERENCES
    The Safe-Tcl Security Model
    • 169
    • Highly Influential
    • PDF
    Provably-secure programming languages for remote evaluation
    • 21
    • PDF
    Java security: from HotJava to Netscape and beyond
    • 337
    • PDF
    Security Properties of Typed Applets
    • 41
    • PDF
    Mobile code security
    • 72
    • PDF
    Programming languages for mobile code
    • 72
    • PDF
    LogicWeb: Enhancing the Web with Logic Programming
    • 35
    Analyzing Mobile Code Languages
    • 128
    Security and dynamic class loading in Java: a formalisation
    • T. Jensen, D. Métayer, T. Thorn
    • Computer Science
    • Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225)
    • 1998
    • 62
    Agent Tcl: A Flexible and Secure Mobile-Agent System
    • R. Gray
    • Computer Science, Engineering
    • Tcl/Tk Workshop
    • 1996
    • 417
    • PDF