Language Issues in Mobile Program Security

No abstract is available for this paper.

• Publication year

  1998

• Venue

  Mobile Agents and Security

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

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

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Sanctuary for Mobile Agents

  2001cited by this paper
• A Sound Polymorphic Type System for a Dialect of C

  1998cited by this paper
• Secure information flow in a multi-threaded imperative language

  1998cited by this paper
• Security properties of typed applets

  1998cited by this paper
• A survey of active network research

  1997cited by this paper
• Programming languages for mobile code

  1997cited 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
• A Type-Based Approach to Program Security

  1997cited by this paper
• Eliminating covert flows with minimum typings

  1997influential reference
• Detecting Attacks on Mobile Agents

  1997cited by this paper
• Cryptographic support for fault-tolerant distributed computing

  1996cited by this paper
• Some Practical Problems and Their Influence on Semantics

  1996cited by this paper
• Flexible distributed programming using mobile code

  1996cited by this paper
• The ACTIVE IP option

  1996cited by this paper
• Timing Attacks on Implementations of Di(cid:14)e-Hellman, RSA, DSS, and Other Systems

  1996cited by this paper
• Towards an ML-Style Polymorphic Type System for C

  1996cited by this paper
• MITRE Technical Report 2547, Volume II

  1996cited by this paper
• A sound type system for secure flow analysis

  1996cited by this paper
• Extensibility safety and performance in the SPIN operating system

  1995cited by this paper
• Exokernel: an operating system architecture for application-level resource management

  1995cited by this paper
• A Simplified Account of Polymorphic References

  1994cited by this paper
• Eliminating formal flows in automated information flow analysis

  1994cited by this paper
• A logical approach to multilevel security of probabilistic systems

  1992cited by this paper
• A Logical Approach to Multilevel Security of Probabilistic Systems

  1992cited by this paper
• Toward a Mathematical Foundation for Information Flow Security

  1991cited by this paper
• Information flow in nondeterministic systems

  1990cited by this paper
• Probabilistic interference

  1990cited by this paper
• Formal Models for Computer Security

  1981cited by this paper
• Integrity considerations for secure computer systems

  1977cited by this paper
• Integrity Considerations for Secure Computer Systems

  1977cited by this paper
• A lattice model of secure information flow

  1976cited by this paper
• Secure information flow in computer systems

  1975cited by this paper
• The protection of information in computer systems

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

  1973cited by this paper
• Information Protection Systems

  1973cited by this paper
• Computer Security Technology Planning Study

  1972cited by this paper
• Computer Security Technology Planning Study. Volume 2

  1972cited by this paper
• Purdue e-Pubs Purdue e-Pubs

  year unknowncited by this paper

• Mobile AgentsMobile agents

  2012cites this paper
• A model for computer security based on a biological immune system

  2012cites this paper
• A unified approach to the development and usage of mobile agents

  2012cites this paper
• Policy-based secure agents

  2011cites this paper
• Security policy for deducting unauthorized IP based mobile host inside the network

  2008cites this paper
• Mobile Functions and Secure Information Flow

  2007cites this paper
• Protecting mobile agents＇ data using trusted computing technology

  2007cites this paper
• Perspectives on Electronic Commerce with Mobile Agents

  2007cites this paper
• Pro esses , Types and Information

  2007cites this paper
• Trust-enhanced secure mobile agent-based system design

  2007cites this paper
• Web Services Security and E-business

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

  2006influential citation
• Blending Web services and agents for mobile users

  2005cites this paper
• Security and trust enhanced mobile agent based system design

  2005cites this paper
• An aspect-oriented approach to mobile agent access control

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

  2004cites this paper
• Securing Mobile Agents Implemented in the Scheme Programming Language

  2004cites this paper
• Secure Network Management Within an Open-Source Mobile Agent Framework

  2004cites 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
• A Security Architecture for Mobile Agent Based Applications

  2003cites this paper
• Seguridad en Internet

  2003cites this paper
• Risky Business: Motivations for Markets in Programmable Networks

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

  2002cites this paper
• Certificates for mobile code security

  2002cites this paper
• Mobile Code Security and Static Analysis

  2002cites this paper
• Trust Relationships in a Mobile Agent System

  2001cites this paper
• Formalising Java Safety - An overview

  2001cites this paper
• Security Analysis using Flow Logics

  2001cites this paper
• Formalizing the safety of Java, the Java virtual machine, and Java card

  2001cites this paper
• Ëøøøø Òòðý××× Óö Ëë Blockinöö Blockiný Òò Aeóò¹áòøøöööööò

  2001cites this paper
• Secrecy for Mobile Implementations of Security Protocols

  2001cites this paper
• Static Analysis for Secrecy and Non-interference in Networks of Processes

  2001cites this paper
• Mobile Code Alternatives for Secure Environments

  2000cites this paper
• Mobile agent based service provisioning in integrated networks

  2000cites this paper
• Draft material for Edition 3 of Distributed Systems - Concepts and Design

  2000cites this paper
• Static Reduction Analysis for Imperative Object Oriented Languages

  2000cites this paper
• Horizontes y tendencias de seguridad en Internet

  2000cites this paper
• Ëë Blockinùöö Áòòóöññøøóò Ðóû × Ìýô Èöó Blockin Blockin×× Úúóùö Ãóóóó Àóòòò ½ Î× Blockinó Î× Blockinóò Blockin

  2000cites this paper
• NUEVAS TENDECIAS DE SEGURIDAD EN INTERNET

  2000cites this paper
• Secure Information Flow as Typed Process Behaviour

  2000cites this paper
• Formal aspects of mobile code security

  1999cites this paper
• Gypsy: A Component-Oriented Mobile Agent System

  1999cites this paper
• Practical Architectures for Survivable Systems and Networks: Phase-One Final Report

  1999influential citation
• Viewer's Discretion: Host Security in Mobile Code Systems

  1998cites this paper
• Confinement properties for programming languages

  1998cites this paper
• The relative performance of various mapping algorithms is independent of sizable variances in run-time predictions

  1998cites this paper
• Con(cid:12)nement Properties for Programming Languages (cid:3)

  1998cites this paper
• A Brief Overview of the Internet Programming Paradigm Ongoing Work

  year unknowncites this paper