2008 |
25 | EE | 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 |
2007 |
24 | EE | Radha Jagadeesan,
Corin Pitcher,
James Riely:
Open bisimulation for aspects.
AOSD 2007: 107-120 |
23 | EE | Andrew Cirillo,
Radha Jagadeesan,
Corin Pitcher,
James Riely:
Do As I SaY! Programmatic Access Control with Explicit Identities.
CSF 2007: 16-30 |
22 | EE | Peter Hui,
James Riely:
Typing for a minimal aspect language: preliminary report.
FOAL 2007: 15-22 |
21 | EE | 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 | EE | Andrew Cirillo,
James Riely:
Access Control Based on Code Identity for Open Distributed Systems.
TGC 2007: 169-185 |
19 | EE | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Lambda-RBAC: Programming with Role-Based Access Control
CoRR abs/0712.1205: (2007) |
2006 |
18 | EE | Corin Pitcher,
James Riely:
Dynamic Policy Discovery with Remote Attestation.
FoSSaCS 2006: 111-125 |
17 | EE | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
lambda-RBAC: Programming with Role-Based Access Control.
ICALP (2) 2006: 456-467 |
16 | EE | Radha Jagadeesan,
Alan Jeffrey,
James Riely:
Typed parametric polymorphism for aspects.
Sci. Comput. Program. 63(3): 267-296 (2006) |
2004 |
15 | EE | Glenn Bruns,
Radha Jagadeesan,
Alan Jeffrey,
James Riely:
µABC: A Minimal Aspect Calculus.
CONCUR 2004: 209-224 |
2003 |
14 | EE | Radha Jagadeesan,
Alan Jeffrey,
James Riely:
A Calculus of Untyped Aspect-Oriented Programs.
ECOOP 2003: 54-73 |
13 | EE | 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 | EE | 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 | EE | Matthew Hennessy,
James Riely:
Resource Access Control in Systems of Mobile Agents.
Inf. Comput. 173(1): 82-120 (2002) |
2001 |
10 | EE | James Riely,
Matthew Hennessy:
Distributed processes and location failures.
Theor. Comput. Sci. 266(1-2): 693-735 (2001) |
2000 |
9 | EE | 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 | EE | 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 | EE | Matthew Hennessy,
James Riely:
Type-Safe Execution of Mobile Agents in Anonymous Networks.
ECOOP Workshops 1998: 304 |
4 | EE | James Riely,
Matthew Hennessy:
A Typed Language for Distributed Mobile Processes (Extended Abstract).
POPL 1998: 378-390 |
3 | EE | 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 |