 | 2009 |
|---|
| 28 |       | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Towards a Theory of Accountability and Audit.
ESORICS 2009: 152-167 |
| 27 | | Radha Jagadeesan,
Corin Pitcher,
James Riely:
Open Bisimulation for Aspects.
T. Aspect-Oriented Software Development 5: 72-132 (2009) |
| 2008 |
|---|
| 26 | | Andrew Cirillo,
Radha Jagadeesan,
Corin Pitcher,
James Riely:
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).
ESOP 2008: 208-223 |
| 25 | | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Lambda-RBAC: Programming with Role-Based Access Control.
Logical Methods in Computer Science 4(1): (2008) |
| 2007 |
|---|
| 24 | | Radha Jagadeesan,
Corin Pitcher,
James Riely:
Open bisimulation for aspects.
AOSD 2007: 107-120 |
| 23 | | Andrew Cirillo,
Radha Jagadeesan,
Corin Pitcher,
James Riely:
Do As I SaY! Programmatic Access Control with Explicit Identities.
CSF 2007: 16-30 |
| 22 | | Peter Hui,
James Riely:
Typing for a minimal aspect language: preliminary report.
FOAL 2007: 15-22 |
| 21 | | Bin Zhang,
Ehab Al-Shaer,
Radha Jagadeesan,
James Riely,
Corin Pitcher:
Specifications of a high-level conflict-free firewall policy language for multi-domain networks.
SACMAT 2007: 185-194 |
| 20 | | Andrew Cirillo,
James Riely:
Access Control Based on Code Identity for Open Distributed Systems.
TGC 2007: 169-185 |
| 19 | | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Lambda-RBAC: Programming with Role-Based Access Control
CoRR abs/0712.1205: (2007) |
| 2006 |
|---|
| 18 | | Corin Pitcher,
James Riely:
Dynamic Policy Discovery with Remote Attestation.
FoSSaCS 2006: 111-125 |
| 17 | | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
lambda-RBAC: Programming with Role-Based Access Control.
ICALP (2) 2006: 456-467 |
| 16 | | Radha Jagadeesan,
Alan Jeffrey,
James Riely:
Typed parametric polymorphism for aspects.
Sci. Comput. Program. 63(3): 267-296 (2006) |
| 2004 |
|---|
| 15 | | Glenn Bruns,
Radha Jagadeesan,
Alan Jeffrey,
James Riely:
µABC: A Minimal Aspect Calculus.
CONCUR 2004: 209-224 |
| 2003 |
|---|
| 14 | | Radha Jagadeesan,
Alan Jeffrey,
James Riely:
A Calculus of Untyped Aspect-Oriented Programs.
ECOOP 2003: 54-73 |
| 13 | | James Riely,
Matthew Hennessy:
Trust and Partial Typing in Open Systems of Mobile Agents.
J. Autom. Reasoning 31(3-4): 335-370 (2003) |
| 2002 |
|---|
| 12 | | Matthew Hennessy,
James Riely:
Information flow vs. resource access in the asynchronous pi-calculus.
ACM Trans. Program. Lang. Syst. 24(5): 566-591 (2002) |
| 11 | | Matthew Hennessy,
James Riely:
Resource Access Control in Systems of Mobile Agents.
Inf. Comput. 173(1): 82-120 (2002) |
| 2001 |
|---|
| 10 | | James Riely,
Matthew Hennessy:
Distributed processes and location failures.
Theor. Comput. Sci. 266(1-2): 693-735 (2001) |
| 2000 |
|---|
| 9 | | Matthew Hennessy,
James Riely:
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus.
ICALP 2000: 415-427 |
| 8 |  | James Riely,
Jan Prins:
Flattening Is an Improvement.
SAS 2000: 360-376 |
| 1999 |
|---|
| 7 | | James Riely,
Matthew Hennessy:
Trust and Partial Typing in Open Systems of Mobile Agents.
POPL 1999: 93-104 |
| 6 | | Matthew Hennessy,
James Riely:
Type-Safe Execution of Mobile Agents in Anonymous Networks.
Secure Internet Programming 1999: 95-115 |
| 1998 |
|---|
| 5 | | Matthew Hennessy,
James Riely:
Type-Safe Execution of Mobile Agents in Anonymous Networks.
ECOOP Workshops 1998: 304 |
| 4 | | James Riely,
Matthew Hennessy:
A Typed Language for Distributed Mobile Processes (Extended Abstract).
POPL 1998: 378-390 |
| 3 | | Matthew Hennessy,
James Riely:
Resource Access Control in Systems of Mobile Agents.
Electr. Notes Theor. Comput. Sci. 16(3): (1998) |
| 1997 |
|---|
| 2 | | James Riely,
Matthew Hennessy:
Distributed Processes and Location Failures (Extended Abstract).
ICALP 1997: 471-481 |
| 1994 |
|---|
| 1 | | Rance Cleaveland,
James Riely:
Testing-Based Abstractions for Value-Passing Systems.
CONCUR 1994: 417-432 |
