| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Indrakshi Ray Shuxin Yin , Indrakshi Ray: Relational Database Operations Modeling with UML. AINA 2005 : 927-932 Tai Xin , Yajie Zhu , Indrakshi Ray: Reliable Scheduling of Advanced Transactions. DBSec 2005 : 124-138 Yajie Zhu , Tai Xin , Indrakshi Ray: Recovering from Malicious Attacks in Workflow Systems. DEXA 2005 : 14-23 Manachai Toahchoodee , Indrakshi Ray: Validation of Policy Integration Using Alloy. ICDCIT 2005 : 420-431 Indrakshi Ray, Wei Huang : Event Detection in Multilevel Secure Active Databases. ICISS 2005 : 177-190 Indrajit Ray , Sudip Chakraborty , Indrakshi Ray: VTrust: A Trust Management System Based on a Vector Model of Trust. ICISS 2005 : 91-105 Tai Xin , Indrakshi Ray: Detection for Conflicts of Dependencies in Advanced Transaction Models. IDEAS 2005 : 17-26 Eunjee Song , Raghu Reddy , Robert B. France , Indrakshi Ray, Geri Georg , Roger Alexander : Verifiable composition of access control and application features. SACMAT 2005 : 120-129 Indrajit Ray , Indrakshi Ray, Narasimhamurthi Natarajan : An anonymous and failure resilient fair-exchange e-commerce protocol. Decision Support Systems 39 (3): 267-292 (2005) Indrakshi Ray: Applying Semantic Knowledge to Real-Time Update of Access Control Policies - Appendices. IEEE Trans. Knowl. Data Eng. 17 (6): (2005) Indrakshi Ray: Applying Semantic Knowledge to Real-Time Update of Access Control Policies. IEEE Trans. Knowl. Data Eng. 17 (6): 844-858 (2005) Sabrina De Capitani di Vimercati , Indrakshi Ray, Indrajit Ray : Data and Applications Security XVII: Status and Prospects, IFIP TC-11 WG 11.3 Seventeenth Annual Working Conference on Data and Application Security, August4-6, 2003, Estes Park, Colorado, USA Kluwer 2004 Nitin Prabhu , Vijay Kumar , Indrakshi Ray, Gi-Chul Yang : Concurrency Control in Mobile Database Systems. AINA (2) 2004 : 83-86 Indrakshi Ray, Ross M. McConnell , Monte Lunacek , Vijay Kumar : Reducing Damage Assessment Latency in Survivable Databases. BNCOD 2004 : 106-111 Indrakshi Ray, Tai Xin : Implementing Real-Time Update of Access Control Policies. DBSec 2004 : 65-80 Indrakshi Ray, Tai Xin , Yajie Zhu : Ensuring Task Dependencies During Workflow Recovery. DEXA 2004 : 24-33 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, Marianna Muller : Using Schemas to Simplify Access Control for XML Documents. ICDCIT 2004 : 363-368 Nitin Prabhu , Vijay Kumar , Indrakshi Ray: Periodic Scheduling in On-Demand Broadcast System. ISTA 2004 : 107-121 Indrakshi Ray, Na Li , Robert B. France , Dae-Kyoo Kim : Using uml to visualize role-based access control constraints. SACMAT 2004 : 115-124 Indrakshi Ray: Real-time update of access control policies. Data Knowl. Eng. 49 (3): 287-309 (2004) Robert B. France , Indrakshi Ray, Geri Georg , Sudipto Ghosh : Aspect-oriented approach to early design modelling. IEE Proceedings - Software 151 (4): 173-186 (2004) Indrakshi Ray, Robert B. France , Na Li , Geri Georg : An aspect-based approach to modeling access control concerns. Information & Software Technology 46 (9): 575-587 (2004) Vijayalakshmi Atluri , Indrakshi Ray: Editors' message for the special issue on security. Int. J. on Digital Libraries 4 (3): 137-138 (2004) 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: Ensuring Atomicity of Multilevel Transactions. IEEE Symposium on Security and Privacy 1996 : 74-84 Paul Ammann , Sushil Jajodia , Indrakshi Ray: Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. VLDB 1995 : 218-227 1 [ 36 ] 2 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] 3 [ 20 ] 4 [ 38 ] 5 [ 15 ] [ 16 ] [ 21 ] [ 22 ] [ 24 ] [ 27 ] [ 36 ] 6 [ 15 ] [ 16 ] [ 21 ] [ 22 ] [ 36 ] 7 [ 22 ] 8 [ 39 ] 9 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] 10 [ 24 ] [ 27 ] 11 [ 25 ] [ 30 ] [ 31 ] 12 [ 21 ] [ 24 ] [ 27 ] 13 [ 30 ] 14 [ 30 ] 15 [ 26 ] 16 [ 13 ] 17 [ 10 ] 18 [ 35 ] 19 [ 25 ] [ 31 ] 20 [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 17 ] [ 32 ] [ 35 ] [ 38 ] 21 [ 36 ] 22 [ 36 ] 23 [ 40 ] 24 [ 32 ] 25 [ 18 ] [ 28 ] [ 29 ] [ 37 ] [ 41 ] [ 42 ] 26 [ 31 ] 27 [ 43 ] 28 [ 28 ] [ 41 ] [ 42 ]  ©2006 Association for Computing Machinery |
