The Safe-Tcl Security Model

No abstract is available for this paper.

• Publication year

  1998

• Venue

  USENIX Annual Technical Conference

• Publication date

  1998-06-15

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-68671-1_12
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Practical Programming in Tcl and Tk

  1999cited by this paper
• Going Beyond the Sandbox: An Overview of the New Security Architecture in the Java Development Kit 1.2

  1997cited by this paper
• Low Level Security in Java

  1995influential reference
• Efficient software-based fault isolation

  1994cited by this paper
• EMail With A Mind of Its Own: The Safe-Tcl Language for Enabled Mail

  1994cited by this paper
• Tcl and the Tk Toolkit

  1994cited by this paper
• Authentication in distributed systems

  1991cited by this paper
• Authentication in distributed systems: theory and practice

  1991cited by this paper
• The MD4 Message-Digest Algorithm

  1990cited by this paper
• Data security

  1979cited by this paper
• A note on the confinement problem

  1973cited by this paper
• Practical Programming

  1966cited by this paper

• Low-Cost Privilege Separation with Compile Time Compartmentalization for Embedded Systems

  2023cites this paper
• A Biological Immune System (BIS) inspired Mobile Agent Platform (MAP) security architecture

  2017cites this paper
• Mobile Agents System Security

  2017cites this paper
• The Design and Implementation of the Mansion Mobile Agent System

  2015cites this paper
• Languages for Mobile Agents

  2015cites this paper
• Virtualization Support for Application Runtime Specialization and Extension. (Virtualisation pour Specialisation et Extension d'Environnements d'Execution)

  2015cites this paper
• A Reliable File Protection System Based on Transparent Encryption

  2014cites this paper
• Sub-Operating Systems : A New Approach to Application Security

  2014cites this paper
• The state of the art of application restrictions and sandboxes: A survey of application-oriented access controls and their shortfalls

  2013cites this paper
• Mobile AgentsMobile agents

  2012cites this paper
• A Reliable Protection Architecture for Mobile Agents in Open Network Systems

  2011cites this paper
• A Kind of Attack to Free Roaming Mobile Agent Data Integrity Protection Protocol

  2011cites this paper
• A survey of runtime policy enforcement techniques and implementations

  2011cites this paper
• Preemptive mobile code protection using spy agents

  2011cites this paper
• Isolating untrusted software extensions by custom scoping rules

  2010cites this paper
• Generate secure mobile agent by using SMS to protect Hosts

  2010cites this paper
• A DSL toolkit for deferring architectural decisions in DSL-based software design

  2010cites this paper
• Securing Mobile-Agent Systems through Collaboration

  2010cites this paper
• Secure Payment Architectures and Other Applications of Trusted Computing

  2009cites this paper
• A Case Study: File Access Privacy Control Using Filter Hook Driver

  2009cites this paper
• A Property-Dependent Agent Transfer Protocol

  2009cites this paper
• Web browsers as operating systems: supporting robust and secure web programs

  2009cites this paper
• Secure Resource Sharing in Ad hoc Networks

  2008cites this paper
• Robotic Devices as Interfaces to Web Services

  2007cites this paper
• Bringing Software Tools to the Web — Architecture Issues and Porting Experience

  2007cites this paper
• Robotic Devices as Interfaces to Web Services

  2007cites this paper
• Secure Mobile Code: The JavaSeal experiment

  2007cites this paper
• Virtual Private Services: Coordinated Policy Enforcement for Distributed Applications

  2007cites this paper
• A Secure Jailing System for Confining Untrusted Applications

  2007cites this paper
• the Second EECE 512 Mini-Conference on Computer Security

  2007cites this paper
• Improving the Security and Robustness of Modern Web Browsers

  2007cites this paper
• Public-key-Infrastrukturen in Agentenarchitekturen zur Realisierung dienstbasierter Anwendungen

  2006cites this paper
• A Novel Solution of Mobile Agent Security:Task-Description-Based Mobile Agent

  2006cites this paper
• A Module System for Isolating Untrusted Software Extensions

  2006cites this paper
• Bridging between middleware systems: Optimisations using downloadable code

  2006cites this paper
• Outdoor Distributed Computing with Split Smart Messages

  2005cites this paper
• Security policy consistency and distributed evaluation in heterogeneous environments

  2005cites this paper
• An evaluation of Java application containers according to security requirements

  2005cites this paper
• Detecting malicious JavaScript code in Mozilla

  2005cites this paper
• Mobile agents security

  2005cites this paper
• An approach to the dynamic evolution of software systems

  2004cites this paper
• Split Smart Messages: Middleware for Pervasive Computing on Smart Phones

  2004cites this paper
• Recursive Sandboxes: Extending Systrace To Empower Applications

  2004cites this paper
• Typed Computational Email for Serverless Distributed Applications

  2004cites this paper
• Security in a mobile agent system

  2004cites this paper
• Semantic Lookup in Service-Oriented Architectures

  2004cites this paper
• QoS specification languages for distributed multimedia applications: a survey and taxonomy

  2004cites this paper
• Esquema de segurança para agentes móveis em sistemas abertos

  2004cites this paper
• Services for internet telephony

  2004cites this paper
• Ambiente para especificação de aplicações multimídia com suporte de qualidade de serviço.

  2004influential citation
• The Inlined Reference Monitor Approach to Security Policy Enforcement

  2004cites this paper
• Proof linking: a modular verification architecture for mobile code systems

  2004cites this paper
• Design and implementation of virtual private services

  2003cites this paper
• (How) can mobile agents do secure electronic transactions on untrusted hosts? A survey of the security issues and the current solutions

  2003cites this paper
• Evaluating Security in Software Agent Systems using a Security Analysis Tool

  2003cites this paper
• A security framework for reflective Java applications

  2003cites this paper
• Segurança de sistemas de agentes moveis

  2003cites this paper
• A component-based active router architecture

  2003cites this paper
• Security Mechanisms for Mobile Agent Platforms Based on SPKI/SDSI Chains of Trust

  2003cites this paper
• A Security Scheme for Mobile Agent Platforms in Large-Scale Systems

  2003cites this paper
• SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation

  2002cites this paper
• A secure PLAN (extended version)

  2002cites this paper
• Mobile security with smartcards

  2002cites this paper
• Sub-operating systems: a new approach to application security

  2002cites this paper
• Run time support for mobile code

  2002cites this paper
• ANALYSIS AND DESIGN OF AN ADVANCED INFRASTRUCTURE FOR SECURE AND ANONYMOUS ELECTRONIC PAYMENT SYSTEMS ON THE INTERNET

  2002cites this paper
• Mobile agent security with the IPEditor development tool and the mobile UNITY language

  2001cites this paper
• Evaluating the Security of Three Java-Based Mobile Agent Systems

  2001cites this paper
• Secure Internet management by delegation

  2001cites this paper
• Open source components for Internet management by delegation

  2001cites this paper
• Design of multi-agent system using fuzzy disclosure model

  2001cites this paper
• ROAM: Room-based Object-based Agent Middleware

  2001cites this paper
• Security in Active Networks

  2001cites this paper
• The Design and Evaluation of a Multiple-Language Active Network Architecture Enabled via Middleware

  2001cites this paper
• Design and Implementation of Distributed Programmable Media Gateways

  2001cites this paper
• Security implications of implementing active network infrastructures using agent technology

  2001cites this paper
• A Software Model with Safe Dynamic Adaptability for Mobile Code Programs Noriki Amano ?

  2001cites this paper
• Access Control in Configurable Systems

  2001cites this paper
• Flexible Process Planning and Production Control Using Co-Operative Agent Systems

  2001cites this paper
• Secure Prolog-based mobile code

  2001cites this paper
• Secure and efficient mobile agent application reuse using patterns

  2001cites this paper
• Collaborative and secure resource management with distributed agents

  2001cites this paper
• Building a Secure Web Browser

  2001cites this paper
• Security Considerations and Models for Service Creation in Premium IP Networks

  2001cites this paper
• Data protection in mobile agents; one-time key based approach

  2001cites this paper
• MASSA: Mobile Agents Security through Static/Dynamic Analysis

  2001cites this paper
• Script MIB Extensibility Protocol Version 1.1

  2001cites this paper
• 800-19 – Mobile Agent Security

  2000cites this paper
• The Inevitability of Failure: The Flawed Assumption of Security in Modern Computing Environments

  2000cites this paper
• DESIGN AND IMPLEMENTATION OF PROGRAMMABLE MEDIA GATEWAYS

  2000cites this paper
• Married with Tcl

  2000cites this paper
• Security Policy: A Design Pattern for Mobile Java Code

  2000cites this paper
• Building distributed management applications with the IETF Script MIB

  2000cites this paper
• Security for Mobile Agents

  2000cites this paper
• Mobile agents and telcos’ nightmares

  2000cites this paper
• Countermeasures for mobile agent security

  2000cites this paper
• Providing fine-grained access control for Java programs via binary editing

  2000cites this paper
• Mobile Agent Security

  1999cites this paper
• Extending ERLANG for Safe Mobile Code Execution

  1999cites this paper
• Script-driven packet marking for quality-of-service support in legacy applications

  1999cites this paper