- UNIVERSITY OF SUSSEX COMPUTER SCIENCE
- A Typed Language for Distributed Mobile Processes (Extended abstract)
- Distributed Processes and Location Failures (Extended Abstract)
- Open Bisimulation for Aspects Radha Jagadeesan Corin Pitcher James Riely
- Reflections on Trust Trust Assurance by Dynamic Discovery of Static Properties
- Typing For a Minimal Aspect Language Preliminary Report
- Open Bisimulation for Aspects Radha Jagadeesan, Corin Pitcher, and James Riely
- Formal AOP: Opportunity Abounds James Riely
- A Calculus of Untyped Aspect-Oriented Programs Radha Jagadeesan, Alan Jeffrey, and James Riely
- Flattening is an Improvement (Extended Abstract)
- Trust and Partial Typing in Open Systems of Mobile Agents (Extended Abstract)
- UNIVERSITY OF SUSSEX COMPUTER SCIENCE
- HLCL'98 --to appear Resource Access Control in
- UNIVERSITY OF SUSSEX COMPUTER SCIENCE
- ABC: A Minimal Aspect Calculus Glenn Bruns1, Radha Jagadeesan2 , Alan Jeffrey2 , and James Riely2
- Monotonic Typestates for the Object Calculus Radha Jagadeesan1, Alan Jeffrey2, Corin Pitcher1, and James Riely1,
- Dynamic Policy Discovery with Remote Attestation Extended Abstract
- Access Control Based on Code Identity for Open Distributed Systems
- UNIVERSITY OF SUSSEX COMPUTER SCIENCE
- Proving Programs Correct Using Plain Old Java Types Radha Jagadeesan
- Temporal Aspects as Security Automata CTI, DePaul University
- Logical Methods in Computer Science Vol. ? (?:?) 2???, ? pages
- TAPIDO: Trust and Authorization via Provenance and Integrity in Distributed Objects
- Secure Resource Access for Open Systems JAMES RIELY AND MATTHEW HENNESSY
