 | 2009 |
|---|
| 13 |       | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Towards a Theory of Accountability and Audit.
ESORICS 2009: 152-167 |
| 12 | | Radha Jagadeesan,
Corin Pitcher,
James Riely:
Open Bisimulation for Aspects.
T. Aspect-Oriented Software Development 5: 72-132 (2009) |
| 2008 |
|---|
| 11 | | 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 |
| 10 | | 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 |
|---|
| 9 | | Radha Jagadeesan,
Corin Pitcher,
James Riely:
Open bisimulation for aspects.
AOSD 2007: 107-120 |
| 8 | | Andrew Cirillo,
Radha Jagadeesan,
Corin Pitcher,
James Riely:
Do As I SaY! Programmatic Access Control with Explicit Identities.
CSF 2007: 16-30 |
| 7 | | 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 |
| 6 | | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Lambda-RBAC: Programming with Role-Based Access Control
CoRR abs/0712.1205: (2007) |
| 2006 |
|---|
| 5 | | Krishnendu Chatterjee,
Radha Jagadeesan,
Corin Pitcher:
Games for Controls.
CSFW 2006: 70-84 |
| 4 | | Corin Pitcher,
James Riely:
Dynamic Policy Discovery with Remote Attestation.
FoSSaCS 2006: 111-125 |
| 3 | | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
lambda-RBAC: Programming with Role-Based Access Control.
ICALP (2) 2006: 456-467 |
| 2005 |
|---|
| 2 | | Radha Jagadeesan,
Will Marrero,
Corin Pitcher,
Vijay A. Saraswat:
Timed constraint programming: a declarative approach to usage control.
PPDP 2005: 164-175 |
| 1997 |
|---|
| 1 | | Søren B. Lassen,
Corin Pitcher:
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
