| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Indrakshi Ray Dae-Kyoo Kim , Indrakshi Ray, Robert B. France , Na Li : Modeling Role-Based Access Control Using Parameterized UML Models. FASE 2004 : 180-193 Indrakshi Ray: Multilevel Secure Rules and Its Impact on the Design of Active Database Systems. BNCOD 2003 : 226-244 Indrakshi Ray, Tai Xin : Concurrent and Real-Time Update of Access Control Policies. DEXA 2003 : 330-339 Indrajit Ray , Indrakshi Ray: Anonymous and Secure Multicast Subscription. DBSec 2002 : 313-327 Geri Georg , Indrakshi Ray, Robert B. France : Using Aspects to Design a Secure System. ICECCS 2002 : 117- Geri Georg , Robert B. France , Indrakshi Ray: Designing High Integrity Systems Using Aspects. IICIS 2002 : 37-57 Indrakshi Ray, Indrajit Ray : Using Compatible Keys for Secure Multicasting in E-Commerce. IPDPS 2002 Indrakshi Ray, Indrajit Ray , Natu Narasimhamurthi : A cryptographic solution to implement access control in a hierarchy and more. SACMAT 2002 : 65-73 Indrakshi Ray, Indrajit Ray : Detecting Termination of Active Database Rules Using Symbolic Model Checking. ADBIS 2001 : 266-279 Indrakshi Ray, Indrajit Ray : An Anomymous Fair Exchange E-commerce Protocol. IPDPS 2001 : 172 Indrajit Ray , Indrakshi Ray, Natarajan Narasimhamurthy : A Fair-exchange E-commerce Protocol with Automated Dispute Resolution. DBSec 2000 : 27-38 Indrakshi Ray, Indrajit Ray : An Optimistic Fair Exchange E-commerce Protocol with Automated Dispute Resolution. EC-Web 2000 : 84-93 Indrakshi Ray, Indrajit Ray : Failure Analysis of an E-Commerce Protocol Using Model Checking. WECWIS 2000 : 176-183 Indrakshi Ray, Paul Ammann , Sushil Jajodia : Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity. Inf. Sci. 129 (1-4): 155-195 (2000) Indrakshi Ray, Paul Ammann , Sushil Jajodia : A Semantic-Based Transaction Processing Model for Multilevel Transactions. Journal of Computer Security 6 (3): 181-217 (1998) Sushil Jajodia , Indrakshi Ray, Paul Ammann : Implementing Semantic-Based Decomposition of Transactions. CAiSE 1997 : 75-88 Paul Ammann , Sushil Jajodia , Indrakshi Ray: Semantic-Based Decomposition of Transactions. Advanced Transaction Models and Architectures 1997 : 0- Paul Ammann , Sushil Jajodia , Indrakshi Ray: Applying Formal Methods to Semantic-Based Decomposition of Transactions. ACM Trans. Database Syst. 22 (2): 215-254 (1997) Paul Ammann , Sushil Jajodia , Indrakshi Ray: Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. VLDB 1995 : 218-227 1 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] 2 [ 14 ] [ 15 ] [ 19 ] 3 [ 14 ] [ 15 ] 4 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] 5 [ 19 ] 6 [ 19 ] 7 [ 12 ] 8 [ 9 ] 9 [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 16 ] 10 [ 17 ]  ©2004 Association for Computing Machinery |
