Welcome to D
SIGMOD 2003
PODS 2003
SIGMOD-RECOR
ADBIS
CIDR 2003
CIKM 2003
DASFAA 2003
Data Enginee
DEBS
DMKD 2003
DOLAP 2003
DPDJ 2003
ER
GIS 2003
Hypertext 20
ICDE 2003
ICDM 2003
ICDT 2003
JCDL 2003
KRDB 2003
MIR 2003
MIS 2003
MMDB 2003
RIDE 2003
SBBD 2003
SIGIR 2003
SIGIR-FORUM
SIGKDD 2003
SIGKDD-EXP
SSDBM 2003
TIME 2003
TODS
VLDB 2003
VLDB Journal
WIDM 2003
About DiSC 2
Editorial Bo
Acknowledgem
DiSC 2004 Pr
ADVIS
DiSC'04 Feed
DiSC'04 Site
Search DiSC'
<<<Author Index>>>
Copyright No

Indrajit Ray

Papers on DiSC'04


Detecting Termination of Active Database Rules Using Symbolic Model Checking

Publications


Note: Links lead to the DBLP on the Web.

Indrajit Ray

Indrajit Ray, Indrakshi Ray : Anonymous and Secure Multicast Subscription. DBSec 2002 : 313-327

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

Luigi V. Mancini , Indrajit Ray, Sushil Jajodia , Elisa Bertino : Flexible Transaction Dependencies in Database Systems. Distributed and Parallel Databases 8 (4): 399-446 (2000)

Indrajit Ray, Luigi V. Mancini , Sushil Jajodia , Elisa Bertino : ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems. IEEE Trans. Knowl. Data Eng. 12 (6): 880-899 (2000)

Elisa Bertino , Sushil Jajodia , Luigi V. Mancini , Indrajit Ray: Advanced Transaction Processing in Multilevel Secure File Stores. IEEE Trans. Knowl. Data Eng. 10 (1): 120-135 (1998)

Sushil Jajodia , Ravi Mukkamala , Indrajit Ray: A Two-tier Coarse Indexing Scheme for MLS Database Systems. DBSec 1997 : 199-218

Luigi V. Mancini , Indrajit Ray, Sushil Jajodia , Elisa Bertino : Flexible Commit Protocols for Advanced Transaction Processing. Advanced Transaction Models and Architectures 1997 : 0-

Indrajit Ray, Elisa Bertino , Sushil Jajodia , Luigi V. Mancini : An Advanced Commit Protocol for MLS Distributed Database Systems. ACM Conference on Computer and Communications Security 1996 : 119-128

Sushil Jajodia , Luigi V. Mancini , Indrajit Ray: Secure Locking Protocols for Multilevel Database Management Systems. DBSec 1996 : 177-194

Luigi V. Mancini , Indrajit Ray: Secure Concurrency Control in MLS Databases with Two Versions of Data. ESORICS 1996 : 304-323

1 [ 3 ] [ 4 ] [ 6 ] [ 7 ] [ 8 ]

2 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ]

3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 6 ] [ 7 ] [ 8 ]

4 [ 5 ]

5 [ 14 ]

6 [ 11 ]

7 [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ]




©2004 Association for Computing Machinery