Secure Prolog-based mobile code

Authors:
Seng Wai Loke;Andrew Davison
Affiliations:
DSTC, Monash University, Caulfield, Victoria 3145, Australia (e-mail: swloke@dstc.monash.edu.au);Department of Computer Engineering, Prince of Songkla University, Hat Yai, Songkhla 90112, Thailand (e-mail: dandrew@ratree.psu.ac.th)
Venue:
Theory and Practice of Logic Programming
Year:
2001

Citing 12
Cited 1

Metainterpreters for expert system construction

Journal of Logic Programming
Programming languages for mobile code

ACM Computing Surveys (CSUR)
Security properties of typed applets

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Presenting Active X

Presenting Active X
PGP: Pretty Good Privacy

PGP: Pretty Good Privacy
A Security Model for Aglets

IEEE Internet Computing
CIFI: An Intelligent Agent for Citation Finding on The World-wide Web

PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
Analyzing Mobile Code Languages

MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Security and Dynamic Class Loading in Java: A Formalization

ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Java Security: From HotJava to Netscape and Beyond

SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
The Safe-Tcl Security Model

The Safe-Tcl Security Model
Agent Tcl: a flexible and secure mobile-agent system

TCLTK'96 Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996 - Volume 4

Logic Programming Languages for the Internet

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 implementation of the model derives from an extended operational semantics for the LogicWeb language, which provides a precise meaning of safety.