Indrakshi Ray

2007
59	EE	Indrakshi Ray, Manachai Toahchoodee: A Spatio-temporal Role-Based Access Control Model. DBSec 2007: 211-226
58	EE	Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano: A light-weight static approach to analyzing UML behavioral properties. ICECCS 2007: 56-63
57		Indrakshi Ray, C. J. Michael Geisterfer: A method for early correspondence discovery using instance data. ICEIS (1) 2007: 258-263
56	EE	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray: UML2Alloy: A Challenging Model Transformation. MoDELS 2007: 436-450
55	EE	Tai Xin, Indrakshi Ray: A lattice-based approach for updating access control policies in real-time. Inf. Syst. 32(5): 755-772 (2007)
2006
54		David F. Ferraiolo, Indrakshi Ray: SACMAT 2006,11th ACM Symposium on Access Control Models and Technologies, Lake Tahoe, California, USA, June 7-9, 2006, Proceedings ACM 2006
53	EE	Geri Georg, Siv Hilde Houmb, Indrakshi Ray: Aspect-Oriented Risk Driven Development of Secure Applications. DBSec 2006: 282-296
52	EE	Tai Xin, Indrakshi Ray, Parvathi Chundi, Sopak Chaichana: On the Completion of Workflows. DEXA 2006: 582-591
51	EE	Monte Lunacek, Darrell Whitley, Indrakshi Ray: A crossover operator for the k- anonymity problem. GECCO 2006: 1713-1720
50	EE	Anna Cinzia Squicciarini, Abhilasha Bhargav-Spantzel, Elisa Bertino, Elena Ferrari, Indrakshi Ray: Trust Negotiations with Customizable Anonymity. IAT Workshops 2006: 69-72
49	EE	Indrakshi Ray, Mahendra Kumar, Lijun Yu: LRBAC: A Location-Aware Role-Based Access Control Model. ICISS 2006: 147-161
48	EE	Siv Hilde Houmb, Indrakshi Ray, Indrajit Ray: Estimating the Relative Trustworthiness of Information Sources in Security Solution Evaluation. iTrust 2006: 135-149
47	EE	Indrakshi Ray, Mahendra Kumar: Towards a location-based mandatory access control model. Computers & Security 25(1): 36-44 (2006)
46	EE	Indrakshi Ray, Tai Xin: Analysis of dependencies in advanced transaction models. Distributed and Parallel Databases 20(1): 5-27 (2006)
45	EE	Anna Cinzia Squicciarini, Elisa Bertino, Elena Ferrari, Indrakshi Ray: Achieving Privacy in Trust Negotiations with an Ontology-Based Approach. IEEE Trans. Dependable Sec. Comput. 3(1): 13-30 (2006)
2005
44	EE	Shuxin Yin, Indrakshi Ray: Relational Database Operations Modeling with UML. AINA 2005: 927-932
43	EE	Tai Xin, Yajie Zhu, Indrakshi Ray: Reliable Scheduling of Advanced Transactions. DBSec 2005: 124-138
42	EE	Yajie Zhu, Tai Xin, Indrakshi Ray: Recovering from Malicious Attacks in Workflow Systems. DEXA 2005: 14-23
41	EE	Manachai Toahchoodee, Indrakshi Ray: Validation of Policy Integration Using Alloy. ICDCIT 2005: 420-431
40	EE	Indrakshi Ray, Wei Huang: Event Detection in Multilevel Secure Active Databases. ICISS 2005: 177-190
39	EE	Indrajit Ray, Sudip Chakraborty, Indrakshi Ray: VTrust: A Trust Management System Based on a Vector Model of Trust. ICISS 2005: 91-105
38	EE	Tai Xin, Indrakshi Ray: Detection for Conflicts of Dependencies in Advanced Transaction Models. IDEAS 2005: 17-26
37	EE	Indrakshi Ray, Elisa Bertino, Anna Cinzia Squicciarini, Elena Ferrari: Anonymity Preserving Techniques in Trust Negotiations. Privacy Enhancing Technologies 2005: 93-109
36	EE	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
35	EE	Indrajit Ray, Indrakshi Ray, Narasimhamurthi Natarajan: An anonymous and failure resilient fair-exchange e-commerce protocol. Decision Support Systems 39(3): 267-292 (2005)
34	EE	Indrakshi Ray: Applying Semantic Knowledge to Real-Time Update of Access Control Policies - Appendices. IEEE Trans. Knowl. Data Eng. 17(6): (2005)
33	EE	Indrakshi Ray: Applying Semantic Knowledge to Real-Time Update of Access Control Policies. IEEE Trans. Knowl. Data Eng. 17(6): 844-858 (2005)
2004
32		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
31	EE	Nitin Prabhu, Vijay Kumar, Indrakshi Ray, Gi-Chul Yang: Concurrency Control in Mobile Database Systems. AINA (2) 2004: 83-86
30	EE	Indrakshi Ray, Ross M. McConnell, Monte Lunacek, Vijay Kumar: Reducing Damage Assessment Latency in Survivable Databases. BNCOD 2004: 106-111
29		Indrakshi Ray, Tai Xin: Implementing Real-Time Update of Access Control Policies. DBSec 2004: 65-80
28	EE	Indrakshi Ray, Tai Xin, Yajie Zhu: Ensuring Task Dependencies During Workflow Recovery. DEXA 2004: 24-33
27	EE	Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li: Modeling Role-Based Access Control Using Parameterized UML Models. FASE 2004: 180-193
26	EE	Indrakshi Ray, Marianna Muller: Using Schemas to Simplify Access Control for XML Documents. ICDCIT 2004: 363-368
25		Nitin Prabhu, Vijay Kumar, Indrakshi Ray: Periodic Scheduling in On-Demand Broadcast System. ISTA 2004: 107-121
24	EE	Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim: Using uml to visualize role-based access control constraints. SACMAT 2004: 115-124
23	EE	Indrakshi Ray: Real-time update of access control policies. Data Knowl. Eng. 49(3): 287-309 (2004)
22	EE	Robert B. France, Indrakshi Ray, Geri Georg, Sudipto Ghosh: Aspect-oriented approach to early design modelling. IEE Proceedings - Software 151(4): 173-186 (2004)
21	EE	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)
20	EE	Vijayalakshmi Atluri, Indrakshi Ray: Editors' message for the special issue on security. Int. J. on Digital Libraries 4(3): 137-138 (2004)
2003
19	EE	Indrakshi Ray: Multilevel Secure Rules and Its Impact on the Design of Active Database Systems. BNCOD 2003: 226-244
18	EE	Indrakshi Ray, Tai Xin: Concurrent and Real-Time Update of Access Control Policies. DEXA 2003: 330-339
2002
17		Indrajit Ray, Indrakshi Ray: Anonymous and Secure Multicast Subscription. DBSec 2002: 313-327
16	EE	Geri Georg, Indrakshi Ray, Robert B. France: Using Aspects to Design a Secure System. ICECCS 2002: 117-
15		Geri Georg, Robert B. France, Indrakshi Ray: Designing High Integrity Systems Using Aspects. IICIS 2002: 37-57
14	EE	Indrakshi Ray, Indrajit Ray: Using Compatible Keys for Secure Multicasting in E-Commerce. IPDPS 2002
13	EE	Indrakshi Ray, Indrajit Ray, Natu Narasimhamurthi: A cryptographic solution to implement access control in a hierarchy and more. SACMAT 2002: 65-73
2001
12	EE	Indrakshi Ray, Indrajit Ray: Detecting Termination of Active Database Rules Using Symbolic Model Checking. ADBIS 2001: 266-279
11		Indrakshi Ray, Indrajit Ray: An Anomymous Fair Exchange E-commerce Protocol. IPDPS 2001: 172
2000
10		Indrajit Ray, Indrakshi Ray, Natarajan Narasimhamurthy: A Fair-exchange E-commerce Protocol with Automated Dispute Resolution. DBSec 2000: 27-38
9	EE	Indrakshi Ray, Indrajit Ray: An Optimistic Fair Exchange E-commerce Protocol with Automated Dispute Resolution. EC-Web 2000: 84-93
8	EE	Indrakshi Ray, Indrajit Ray: Failure Analysis of an E-Commerce Protocol Using Model Checking. WECWIS 2000: 176-183
7		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)
1998
6		Indrakshi Ray, Paul Ammann, Sushil Jajodia: A Semantic-Based Transaction Processing Model for Multilevel Transactions. Journal of Computer Security 6(3): 181-217 (1998)
1997
5		Sushil Jajodia, Indrakshi Ray, Paul Ammann: Implementing Semantic-Based Decomposition of Transactions. CAiSE 1997: 75-88
4		Paul Ammann, Sushil Jajodia, Indrakshi Ray: Semantic-Based Decomposition of Transactions. Advanced Transaction Models and Architectures 1997: 0-
3	EE	Paul Ammann, Sushil Jajodia, Indrakshi Ray: Applying Formal Methods to Semantic-Based Decomposition of Transactions. ACM Trans. Database Syst. 22(2): 215-254 (1997)
1996
2	EE	Paul Ammann, Sushil Jajodia, Indrakshi Ray: Ensuring Atomicity of Multilevel Transactions. IEEE Symposium on Security and Privacy 1996: 74-84
1995
1	EE	Paul Ammann, Sushil Jajodia, Indrakshi Ray: Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. VLDB 1995: 218-227

Coauthor Index

1	Roger Alexander	[36]
2	Paul Ammann	[1] [2] [3] [4] [5] [6] [7]
3	Kyriakos Anastasakis	[56]
4	Vijayalakshmi Atluri (Vijay Atluri)	[20]
5	Elisa Bertino	[37] [45] [50]
6	Abhilasha Bhargav-Spantzel	[50]
7	Behzad Bordbar	[56]
8	Sopak Chaichana	[52]
9	Sudip Chakraborty	[39]
10	Parvathi Chundi	[52]
11	David F. Ferraiolo	[54]
12	Elena Ferrari	[37] [45] [50]
13	Robert B. France	[15] [16] [21] [22] [24] [27] [36] [58]
14	C. J. Michael Geisterfer	[57]
15	Geri Georg	[15] [16] [21] [22] [36] [53] [56]
16	Sudipto Ghosh	[22]
17	Siv Hilde Houmb	[48] [53]
18	Wei Huang	[40]
19	Sushil Jajodia	[1] [2] [3] [4] [5] [6] [7]
20	Dae-Kyoo Kim	[24] [27]
21	Mahendra Kumar	[47] [49]
22	Vijay Kumar	[25] [30] [31]
23	Kevin Lano	[58]
24	Na Li	[21] [24] [27]
25	Monte Lunacek	[30] [51]
26	Ross M. McConnell	[30]
27	Marianna Muller	[26]
28	Natu Narasimhamurthi	[13]
29	Natarajan Narasimhamurthy	[10]
30	Narasimhamurthi Natarajan	[35]
31	Nitin Prabhu	[25] [31]
32	Indrajit Ray	[8] [9] [10] [11] [12] [13] [14] [17] [32] [35] [39] [48]
33	Raghu Reddy (Raghu Y. Reddy)	[36]
34	Eunjee Song	[36]
35	Anna Cinzia Squicciarini	[37] [45] [50]
36	Manachai Toahchoodee	[41] [59]
37	Sabrina De Capitani di Vimercati	[32]
38	L. Darrell Whitley (Darrell Whitley)	[51]
39	Tai Xin	[18] [28] [29] [38] [42] [43] [46] [52] [55]
40	Gi-Chul Yang	[31]
41	Shuxin Yin	[44]
42	Lijun Yu	[49] [58]
43	Yajie Zhu	[28] [42] [43]

Colors in the list of coauthors