|
СТ |
Modeling Role-Based Access Control Using Parameterized UML Models |
2004 |
Kim D. -K., Ray I., France R., Li N. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |
|
СТ |
Detecting Termination of Active Database Rules using Symbolic Model Checking |
2001 |
Ray I., Ray I. |
|
|
|
Lecture Notes in Computer Science |
07.10.2001 |
|
СТ |
Advanced Transaction Processing in Multilevel Secure File Stores |
1998 |
Bertino E., Jajodia S., Mancini L., Ray I. |
|
|
|
IEEE Trans. on Knowledge and Data Engineering |
11.06.1998 |
|
СТ |
Implementing Semantic-Based Decomposition of Transactions |
1997 |
Jajodia S., Ray I., Ammann P. |
|
|
|
Lecture Notes in Computer Science |
12.09.1997 |
