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} }
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
Logic Programming Languages for the Internet
- Computer Science
- Computational Logic: Logic Programming and Beyond
- 2002
- 5
References
SHOWING 1-10 OF 46 REFERENCES
The Safe-Tcl Security Model
- Computer Science
- USENIX Annual Technical Conference
- 1998
- 174
- Highly Influential
- PDF
Java security: from HotJava to Netscape and beyond
- Computer Science
- Proceedings 1996 IEEE Symposium on Security and Privacy
- 1996
- 338
- PDF
Security and dynamic class loading in Java: a formalisation
- Computer Science
- Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225)
- 1998
- 65
Agent Tcl: A Flexible and Secure Mobile-Agent System
- Engineering, Computer Science
- Tcl/Tk Workshop
- 1996
- 413
- PDF