- UML2Alloy: A Challenging Model Transformation
- Increasing Expressiveness of Composite Events Using Parameter Contexts
- Achieving Privacy in Trust Negotiations with an Ontology-Based Approach
- Using UML to Model Relational Database Operations Eunjee Song Shuxin Yin Indrakshi Ray
- Event Detection in Multilevel Secure Active Databases Indrakshi Ray and Wei Huang
- Vulnerability Discovery in Multi-Version Software Systems Jinyoo Kim, Yashwant K. Malaiya, Indrakshi Ray
- On the Formal Analysis of a Spatio-Temporal Role-Based Access Control Model
- Aspect-Oriented Risk Driven Development of Secure Applications
- On the Optimal Selection of k in the kAnonymity Rinku Dewri, Indrajit Ray, Indrakshi Ray and Darrell Whitley
- Optimizing On-Demand Data Broadcast Scheduling in Pervasive Environments
- Optimizing Real-Time Ordered-Data Broadcasts in Pervasive Environments Using Evolution
- A Multi-Objective Approach to Data Sharing with Privacy Constraints and Preference Based Objectives
- Estimating the Relative Trustworthiness of Information Sources in Security Solution
- Validation of Policy Integration Using Alloy Manachai Toahchoodee and Indrakshi Ray
- Security Provisioning in Pervasive Environments Using Multi-objective Optimization
- A light-weight static approach to analyzing UML behavioral properties Lijun Yu, Robert B. France, Indrakshi Ray
- A Spatio-Temporal Role-Based Access Control Model Indrakshi Ray and Manachai Toahchoodee
- A Rigorous Approach to Uncovering Security Policy Violations in UML Lijun Yu, Robert France, Indrakshi Ray, Sudipto Ghosh
- On the Comparison of Microdata Disclosure Control Rinku Dewri, Indrajit Ray, Indrakshi Ray and Darrell Whitley
- TRANSACTIONS ON DATA PRIVACY () 25 Towards Achieving Personalized Privacy for
- An Interoperable Context Sensitive Model of Trust Indrakshi Ray Indrajit Ray Sudip Chakraborty
- Towards a Scalable Model for Location Privacy Nayot Poolsappasit
- A Spatio-Temporal Access Control Model Supporting Delegation for Pervasive Computing Applications
- Checking Policy Enforcement in an Access Control Aspect Eunjee Song
- On the Completion of Workflows , Indrakshi Ray1
- Towards a Location-Based Mandatory Access Control Model Indrakshi Ray Mahendra Kumar
- VTrust: A Trust Management System Based on a Vector Model of Trust
- LRBAC: A Location-Aware Role-Based Access Control Indrakshi Ray, Mahendra Kumar, and Lijun Yu
- A Lattice-Based Approach for Updating Access Control Policies in Real-Time
- Analysis of Dependencies in Advanced Transaction Transactional dependencies play an important role in coordinating and executing the sub-
- A Crossover Operator for the k-anonymity Problem Monte Lunacek Darrell Whitley Indrakshi Ray
- Applying Semantic Knowledge to Real-Time Update of Access Control Policies
- Recovering from Malicious Attacks in Workflow Yajie Zhu, Tai Xin, and Indrakshi Ray
- Using semantic correctness in multidatabases to achieve local autonomy, distribute
- Using Trust-Based Information Aggregation for Predicting Security Level of Systems
- Aspect-oriented approach to early design modelling R. France, I. Ray, G. Georg and S. Ghosh
- On the Identification of Property Based Generalizations in Microdata Anonymization
- Trust-Based Security Level Evaluation using Bayesian Belief Networks
- Using Compatible Keys for Secure Multicasting in E-Commerce Indrakshi Ray Indrajit Ray
- IMPLEMENTING REAL-TIME UPDATE OF ACCESS CONTROL POLICIES
- A Cryptographic Solution to Implement Access Control in a Hierarchy and More
- On the Formation of Historically k-Anonymous Anonymity Sets in a Continuous LBS
- A Trust-Based Access Control Model for Pervasive Computing Applications
- Evaluating Competing Dependability Concern Realizations in an Aspect-Oriented Modeling Framework
- Multilevel Secure Data Stream Processing Raman Adaikkalavan1, Indrakshi Ray2, and Xing Xie2
- Failure Analysis of an E-commerce Protocol using Model Checking
- POkA : Identifying Pareto-Optimal k-Anonymous Nodes in a Domain Hierarchy Lattice
- Detecting Termination of Active Database Rules Using Symbolic Model Checking
- Detection for Conflicts of Dependencies in Advanced Transaction Models Tai Xin Indrakshi Ray
- An anonymous and failure resilient fair-exchange e-commerce protocol
- Building Security Requirement Patterns for Increased Effectiveness Early in the Development Process
- An Optimistic Fair Exchange E-commerce Protocol with Automated Dispute Resolution
- Reliable Scheduling of Advanced Transactions Tai Xin, Yajie Zhu and Indrakshi Ray
- An Anonymous Electronic Voting Protocol for Voting Over The Internet Indrajit Ray Indrakshi Ray Natarajan Narasimhamurthi
- Using Schemas to Simplify Access Control for XML Indrakshi Ray and Marianna Muller
- Anonymity Preserving Techniques in Trust Negotiations Indrakshi Ray1, Elisa Bertino2, Anna C. Squicciarini2 and Elena Ferrari3
- Query m-Invariance: Preventing Query Disclosures in Continuous Location-Based Rinku Dewri, Indrakshi Ray, Indrajit Ray and Darrell Whitley
- An aspect-based approach to modeling access control concerns Indrakshi Ray, Robert France*, Na Li, Geri Georg
- Using the BToolkit to Ensure Safety in SCR Specifications Indrakshi Ray \Lambda Paul Ammann
- USING FORMAL METHODS IN SEMANTICBASED DECOMPOSITION OF TRANSACTIONS
- Applying Formal Methods to SemanticBased Decomposition of Transactions
- Implementing SemanticBased Decomposition of Transactions ?
- Ensuring Atomicity of Multilevel Transactions \Lambda Paul Ammann Sushil Jajodia
- SEMANTICBASED DECOMPOSITION OF
- Using Formal Methods To Reason About SemanticsBased Decompositions Of Transactions
- Using UML To Visualize Role-Based Access Control Constraints
- Real-time update of access control policies Indrakshi Ray *
- Concurrent and Real-Time Update of Access Control Indrakshi Ray and Tai Xin
- Rigorous Analysis of UML Access Control Policy Models Wuliang Sun, Robert France, and Indrakshi Ray
- Short Paper: Towards a Location-Aware Role-Based Access Control Model Indrakshi Ray Lijun Yu
- Verifiable Composition of Access Control and Application Eunjee Song
- Reducing Damage Assessment Latency in Survivable Indrakshi Ray1, Ross M. McConnell1, Monte Lunacek1, and Vijay Kumar2
- USING PARAMETERIZED UML TO SPECIFY AND COMPOSE ACCESS CONTROL MODELS
- Relational Database Operations Modeling with UML Shuxin Yin Indrakshi Ray
- TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. X, NO. X, XX 20XX 1 k-Anonymization in the Presence of Publisher
- Modeling Role-Based Access Control Using Parameterized UML Models
- A Semantic-Based Transaction Processing Model for Multilevel Transactions
- When does a Workflow Complete? Parvathi Chundi1, Tai Xin2, and Indrakshi Ray2
- Concurrency Control in Mobile Database Systems Nitin Prabhu, Vijay Kumar Indrakshi Ray Gi-Chul Yang
- An Anonymous Fair Exchange E-commerce Protocol Indrakshi Ray Indrajit Ray
- On the Formalization and Analysis of a Spatio-Temporal Role-Based Access Control Model
- Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models
