English
Related papers

Related papers: Strong and Provably Secure Database Access Control

200 papers

Encrypted control is a promising method for the secure outsourcing of controller computation to a public cloud. However, a feasible method for security proofs of control has not yet been developed in the field of encrypted control systems.…

Systems and Control · Electrical Eng. & Systems 2025-03-04 Kaoru Teranishi , Kiminao Kogiso

Data mining and information extraction from data is a field that has gained relevance in recent years thanks to techniques based on artificial intelligence and use of machine and deep learning. The main aim of the present work is the…

Cryptography and Security · Computer Science 2022-09-15 M Lodeiro-Santiago , C Caballero-Gil , P Caballero-Gil

A learned database system uses machine learning (ML) internally to improve performance. We can expect such systems to be vulnerable to some adversarial-ML attacks. Often, the learned component is shared between mutually-distrusting users or…

Cryptography and Security · Computer Science 2025-07-03 Roei Schuster , Jin Peng Zhou , Thorsten Eisenhofer , Paul Grubbs , Nicolas Papernot

The Secure SQL Server - SecSS, is a technology primarily developed to enable self-service governance of states, as described in (Paulin 2012). Self-service governance is a novel model of governance that rejects service-based public…

Computers and Society · Computer Science 2012-01-06 Alois Paulin

Today, security threats to operating systems largely come from network. Traditional discretionary access control mechanism alone can hardly defeat them. Although traditional mandatory access control models can effectively protect the…

Cryptography and Security · Computer Science 2016-09-06 Zhiyong Shan

Among the various means of available resource protection including biometrics, password based system is most simple, user friendly, cost effective and commonly used. But this method having high sensitivity with attacks. Most of the advanced…

Cryptography and Security · Computer Science 2009-10-13 Manoj Kumar Singh

This paper presents a novel key-based access control technique for secure outsourcing key-value stores where values correspond to documents that are indexed and accessed using keys. The proposed approach adopts Shamir's secret-sharing that…

Cryptography and Security · Computer Science 2025-07-16 Yin Li , Sharad Mehrota , Shantanu Sharma , Komal Kumari

Nowadays, there are billions interconnected devices forming Cyber-Physical Systems, Internet of Things (IoT) and Industrial Internet of Things (IIoT) ecosystems. With an increasing number of devices and systems in use, amount and the value…

Databases · Computer Science 2023-01-13 Anastasija Nikiforova , Artjoms Daskevics , Otmane Azeroual

Database fingerprinting have been widely adopted to prevent unauthorized sharing of data and identify the source of data leakages. Although existing schemes are robust against common attacks, like random bit flipping and subset attack,…

Cryptography and Security · Computer Science 2021-07-23 Tianxi Ji , Emre Yilmaz , Erman Ayday , Pan Li

Detecting SQL Injection (SQLi) attacks is crucial for web-based data center security, but it is challenging to balance accuracy and computational efficiency, especially in high-speed networks. Traditional methods struggle with this balance,…

Cryptography and Security · Computer Science 2024-10-28 Kasim Tasdemir , Rafiullah Khan , Fahad Siddiqui , Sakir Sezer , Fatih Kurugollu , Sena Busra Yengec-Tasdemir , Alperen Bolat

A large number of web applications is based on a relational database together with a program, typically a script, that enables the user to interact with the database through embedded SQL queries and commands. In this paper, we introduce a…

Logic in Computer Science · Computer Science 2016-10-10 Shachar Itzhaky , Tomer Kotek , Noam Rinetzky , Mooly Sagiv , Orr Tamir , Helmut Veith , Florian Zuleger

Although there have been many solutions applied, the safety challenges related to the password security mechanism are not reduced. The reason for this is that while the means and tools to support password attacks are becoming more and more…

Cryptography and Security · Computer Science 2019-12-05 Nguyen Hong Son , Ha Thanh Dung

System passwords serve as critical credentials for user authentication and access control when logging into operating systems or applications. Upon entering a valid password, users pass verification to access system resources and execute…

Cryptography and Security · Computer Science 2026-02-03 Chaofang Shi , Zhongwen Li , Xiaoqi Li

Databases in the past have helped businesses maintain and extract insights from their data. Today, it is common for a business to involve multiple independent, distrustful parties. This trend towards decentralization introduces a new and…

Databases · Computer Science 2020-08-24 Meihui Zhang , Zhongle Xie , Cong Yue , Ziyue Zhong

Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems. Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to the critical infrastructure, as shown in Stuxnet and…

Cryptography and Security · Computer Science 2021-03-24 Ruimin Sun , Alejandro Mera , Long Lu , David Choffnes

Transaction processing is of growing importance for mobile and web applications. Booking tickets, flight reservation, e-Banking, e-Payment, and booking holiday arrangements are just a few examples. Due to temporarily disconnected situations…

Databases · Computer Science 2023-08-21 Fritz Laux , Martti Laiho

Modern enterprise database systems face significant challenges in balancing data security and performance. Ensuring robust encryption for sensitive information is critical for systems' compliance with security standards. Although holistic…

Cryptography and Security · Computer Science 2025-07-01 Mohamed Sami Rakha , Adam Sorrenti , Greg Stager , Walid Rjaibi , Andriy Miranskyy

In this paper, we first define a logical theory representing an XML database supporting XPath as query language and XUpdate as modification language. We then extend our theory with predicates allowing us to specify the security policy…

Databases · Computer Science 2014-05-23 Alban Gabillon

Traditional security mechanisms isolate resources from users who should not access them. We reflect the compositional nature of such security mechanisms back into the structure of LLMs to build a provably secure LLM; that we term SecureLLM.…

Computation and Language · Computer Science 2024-06-14 Abdulrahman Alabdulkareem , Christian M Arnold , Yerim Lee , Pieter M Feenstra , Boris Katz , Andrei Barbu

When sharing sensitive relational databases with other parties, a database owner aims to (i) have privacy guarantees for the database entries, (ii) have liability guarantees (via fingerprinting) in case of unauthorized sharing of its…

Cryptography and Security · Computer Science 2022-03-08 Tianxi Ji , Erman Ayday , Emre Yilmaz , Pan Li