• Publications
  • Influence
Using Trust for Secure Collaboration in Uncertain Environments
TLDR
A formal computational model of trust that provides the formal basis for reasoning about trust and for the deployment of verifiable security policies. Expand
  • 397
  • 16
  • PDF
A resource management interface for the Java™ platform
TLDR
We propose an extensible, flexible, and widely applicable resource management interface for the Java platform. Expand
  • 58
  • 6
The JavaSeal mobile agent kernel
  • C. Bryce, J. Vitek
  • Computer Science
  • Proceedings. First and Third International…
  • 3 October 1999
TLDR
JavaSeal is a secure mobile agent kernel that provides a small set of abstractions for constructing agent applications. Expand
  • 47
  • 6
Coordinating processes with secure spaces
TLDR
The Linda shared space model and its derivatives provide great flexibility for building parallel and distributed applications composed of independent processes. Expand
  • 60
  • 5
  • PDF
Compile-Time Detection of Information Flow in Sequential Programs
TLDR
We give a formal definition of the notion of information flow for a simple guarded command language. Expand
  • 76
  • 4
Using TPMs to Secure Vehicular Ad-Hoc Networks (VANETs)
TLDR
This paper examines security threats to VANETs and argues thata security architecture built around TPMs can provide a satisfactorysolution. Expand
  • 77
  • 4
  • PDF
A resource management interface for the Java™ platform
TLDR
This paper proposes an extensible, flexible, and widely applicable resource management interface for the Java platform, capable of modeling a variety of resources. Expand
  • 55
  • 3
A Security Framework for a Mobile Agent System
  • C. Bryce
  • Computer Science
  • ESORICS
  • 4 October 2000
TLDR
This paper describes a distributed security infrastructure for mobile agents. Expand
  • 28
  • 2
  • PDF
EDOS: Environment for the Development and Distribution of Open Source Software
TLDR
The open-source software community is now comprised of a very large and growing number of contributors and users. Expand
  • 17
  • 2
  • PDF
A Coordination Model Agents Based on Secure Spaces
TLDR
We give a precise semantics for Secure Object Space operations and discuss an implementation in JAVA for a mobile agent system. Expand
  • 52
  • 1
  • PDF