| * | 2009 |
|---|
| 4 | EE | Lijun Yu,
Robert France,
Indrakshi Ray,
Sudipto Ghosh:
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.
ICECCS 2009: 126-135 |
| 2008 |
|---|
| 3 | EE | Lijun Yu,
Robert B. France,
Indrakshi Ray:
Scenario-Based Static Analysis of UML Class Models.
MoDELS 2008: 234-248 |
| 2007 |
|---|
| 2 | EE | Lijun Yu,
Robert B. France,
Indrakshi Ray,
Kevin Lano:
A light-weight static approach to analyzing UML behavioral properties.
ICECCS 2007: 56-63 |
| 2006 |
|---|
| 1 | EE | Indrakshi Ray,
Mahendra Kumar,
Lijun Yu:
LRBAC: A Location-Aware Role-Based Access Control Model.
ICISS 2006: 147-161 |
