2000 |
9 | | Vijayalakshmi Atluri,
Wei-kuang Huang,
Elisa Bertino:
A Semantic-Based Execution Model for Multilevel Secure Workflows.
Journal of Computer Security 8(1): (2000) |
8 | | Vijayalakshmi Atluri,
Wei-kuang Huang:
A Petri Net Based Safety Analysis of Workflow Authorization Models.
Journal of Computer Security 8(2/3): (2000) |
1999 |
7 | EE | Wei-kuang Huang,
Vijayalakshmi Atluri:
SecureFlow: A Secure Web-Enabled Workflow Management System.
ACM Workshop on Role-Based Access Control 1999: 83-94 |
1998 |
6 | | Wei-kuang Huang,
Vijayalakshmi Atluri:
Analysing the Safety of Workflow Authorization Models.
DBSec 1998: 43-57 |
5 | | Nabil R. Adam,
Vijayalakshmi Atluri,
Wei-kuang Huang:
Modeling and Analysis of Workflows Using Petri Nets.
J. Intell. Inf. Syst. 10(2): 131-158 (1998) |
1997 |
4 | | Vijayalakshmi Atluri,
Wei-kuang Huang,
Elisa Bertino:
An Execution Model for Multilevel Seccure Workflows.
DBSec 1997: 151-165 |
3 | | Vijayalakshmi Atluri,
Wei-kuang Huang:
Enforcing Mandatory and Discretionary Security in Workflow Management Systems.
Journal of Computer Security 5(4): 303-340 (1997) |
1996 |
2 | | Vijayalakshmi Atluri,
Wei-kuang Huang:
An Extended Petri Net Model for Supporting Workflows in a Multilevel Secure Environment.
DBSec 1996: 240-258 |
1 | EE | Vijayalakshmi Atluri,
Wei-kuang Huang:
An Authorization Model for Workflows.
ESORICS 1996: 44-64 |