| 2008 |
|---|
| 11 | EE | Arnab Ray:
Authentication, Access Control, and Information Flow.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 10 | EE | Arnab Ray,
Rance Cleaveland:
Executable Specifications for Real-Time Distributed Systems.
Electr. Notes Theor. Comput. Sci. 203(4): 3-17 (2008) |
| 2006 |
|---|
| 9 | EE | Arnab Ray,
Rance Cleaveland:
A Software Architectural Approach to Security by Design.
COMPSAC (2) 2006: 83-86 |
| 2005 |
|---|
| 8 | EE | Arnab Ray:
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach.
COORDINATION 2005: 125-139 |
| 7 | EE | Prem Uppuluri,
Uday Joshi,
Arnab Ray:
Preventing race condition attacks on file-systems.
SAC 2005: 346-353 |
| 6 | EE | Arnab Ray,
Rance Cleaveland,
Arne Skou:
An Algebraic Theory Of Boundary Crossing Transitions.
Electr. Notes Theor. Comput. Sci. 115: 69-88 (2005) |
| 2004 |
|---|
| 5 | EE | Arnab Ray,
Bikram Sengupta,
Rance Cleaveland:
Secure Requirements Elicitation Through Triggered Message Sequence Charts.
ICDCIT 2004: 273-282 |
| 4 | EE | Arnab Ray,
Rance Cleaveland:
Formal Modeling Of Middleware-based Distributed Systems.
Electr. Notes Theor. Comput. Sci. 108: 21-37 (2004) |
| 3 | EE | Arnab Ray,
Rance Cleaveland:
Unit verification: the CARA experience.
STTT 5(4): 351-369 (2004) |
| 2003 |
|---|
| 2 | EE | Arnab Ray,
Rance Cleaveland:
Architectural Interaction Diagrams: AIDs for System Modeling.
ICSE 2003: 396-407 |
| 1 | EE | Arnab Ray:
Security check: a formal yet practical framework for secure software architecture.
NSPW 2003: 59-65 |
