Search the dblp DataBase

Publications of Author

1. Radha Jagadeesan, Corin Pitcher, James Riely
   Open bisimulation for aspects. [Citation Graph (0, 0)][DBLP]
   AOSD, 2007, pp:107-120 [Conf]
   
2. Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher
   Games for Controls. [Citation Graph (0, 0)][DBLP]
   CSFW, 2006, pp:70-84 [Conf]
   
3. Corin Pitcher, James Riely
   Dynamic Policy Discovery with Remote Attestation. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2006, pp:111-125 [Conf]
   
4. Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
   lambda-RBAC: Programming with Role-Based Access Control. [Citation Graph (0, 0)][DBLP]
   ICALP (2), 2006, pp:456-467 [Conf]
   
5. Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat
   Timed constraint programming: a declarative approach to usage control. [Citation Graph (0, 0)][DBLP]
   PPDP, 2005, pp:164-175 [Conf]
   
6. Søren B. Lassen, Corin Pitcher
   Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
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. [Citation Graph (0, 0)][DBLP]
   SACMAT, 2007, pp:185-194 [Conf]
   
8. 
   Do As I SaY! Programmatic Access Control with Explicit Identities. [Citation Graph (, )][DBLP]
   
   
9. 
   Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). [Citation Graph (, )][DBLP]
   
   
10. 
    Generative Operational Semantics for Relaxed Memory Models. [Citation Graph (, )][DBLP]
    
    
11. 
    Towards a Theory of Accountability and Audit. [Citation Graph (, )][DBLP]
    
    
12. 
    Lambda-RBAC: Programming with Role-Based Access Control [Citation Graph (, )][DBLP]