English
Related papers

Related papers: Introducing Access Control in Webdamlog

200 papers

Collaborative working is increasingly popular, but it presents challenges due to the need for high responsiveness and disconnected work support. To address these challenges the data is optimistically replicated at the edges of the network,…

Databases · Computer Science 2012-12-12 Stéphane Martin , Mehdi Ahmed-Nacer , Pascal Urso

Organizations use data lakes to store and analyze sensitive data. But hackers may compromise data lake storage to bypass access controls and access sensitive data. To address this, we propose Membrane, a system that (1) cryptographically…

Cryptography and Security · Computer Science 2025-09-11 Sam Kumar , Samyukta Yagati , Conor Power , David E. Culler , Raluca Ada Popa

Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data…

Software Engineering · Computer Science 2010-07-30 Javier Cubo , Ernesto Pimentel , Gwen Salaün , Carlos Canal

We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of localities and nets of the coordination language Klaim but re-incarnates the tuple spaces of…

Logic in Computer Science · Computer Science 2019-03-14 Ximeng Li , Xi Wu , Alberto Lluch Lafuente , Flemming Nielson , Hanne Riis Nielson

We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems specified as event systems with fairness. We give proof rules for…

Logic in Computer Science · Computer Science 2016-08-16 Dominique Méry , Stephan Merz

This paper presents Droplet, a decentralized data access control service. Droplet enables data owners to securely and selectively share their encrypted data while guaranteeing data confidentiality in the presence of unauthorized parties and…

Cryptography and Security · Computer Science 2021-01-22 Hossein Shafagh , Lukas Burkhalter , Anwar Hithnawi , Sylvia Ratnasamy

When multiple self-adaptive systems share the same environment and have common goals, they may coordinate their adaptations at runtime to avoid conflicts and to satisfy their goals. There are two approaches to coordination. (1) Logically…

Software Engineering · Computer Science 2023-10-27 Paul-Andrei Dragan , Andreas Metzger , Klaus Pohl

Linked Data technologies become increasingly important in many domains. Key factors for their breakthrough are security and trust, especially when sensible or personal data are involved. Classical means for access control lack granularity…

Cryptography and Security · Computer Science 2016-11-10 Pascal Mainini , Annett Laube-Rosenpflanzer

The evolution of information and communication technologies has yielded the means of sharing measurements and other information in an efficient and flexible way, which has enabled the size and complexity of control applications to increase.…

Systems and Control · Electrical Eng. & Systems 2025-01-30 Filiberto Fele , José M. Maestre , Eduardo F. Camacho

Transparency and data portability are two core principles of modern privacy legislations such as the GDPR. From the regulatory perspective, providing individuals (data subjects) with access to their data is a main building block for…

Computers and Society · Computer Science 2023-05-08 Nicola Leschke , Florian Kirsten , Frank Pallas , Elias Grünewald

Distributed averaging is among the most relevant cooperative control problems, with applications in sensor and robotic networks, distributed signal processing, data fusion, and load balancing. Consensus and gossip algorithms have been…

Systems and Control · Electrical Eng. & Systems 2023-09-06 Christel Sirocchi , Alessandro Bogliolo

Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain,in particular about the available services and their behavior in terms of input/output data descriptions. In…

Software Engineering · Computer Science 2015-03-17 Anna-Lena Lamprecht , Stefan Naujokat , Bernhard Steffen , Tiziana Margaria

Despite rapid evolution, embedded computing systems increasingly feature resource constraints and workload uncertainties. To achieve much better system performance in unpredictable environments than traditional design approaches, a novel…

Other Computer Science · Computer Science 2008-12-18 Feng Xia , Youxian Sun

Controlling resource usage in distributed systems is a challenging task given the dynamics involved in access granting. Consider, for instance, the setting of floating licenses where access can be granted if the request originates in a…

Programming Languages · Computer Science 2018-02-19 Jovanka Pantovic , Ivan Prokic , Hugo Torres Vieira

The advent of large-scale, complex computing systems has dramatically increased the difficulties of securing accesses to systems' resources. To ensure confidentiality and integrity, the exploitation of access control mechanisms has thus…

Software Engineering · Computer Science 2015-08-18 Andrea Margheri , Rosario Pugliese , Francesco Tiezzi

Access control models have been developed to control authorized access to sensitive resources. This control of access is important as there is now a need for collaborative resource sharing between multiple organizations over open…

Cryptography and Security · Computer Science 2021-08-20 M Ridwanur Rahman , Ahmad Salehi Shahraki , Carsten Rudolph

Relationship-based access control (ReBAC) provides a high level of expressiveness and flexibility that promotes security and information sharing, by allowing policies to be expressed in terms of chains of relationships between entities.…

Cryptography and Security · Computer Science 2020-05-14 Thang Bui , Scott D. Stoller

The paper suggests a new approach based on blockchain technologies and smart contracts to creation of a distributed system for managing provenance metadata, as well as access rights to data in distributed storages, which is fault-tolerant,…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-12-03 Andrey Demichev , Alexander Kryukov , Nikolai Prikhodko

Cyber-secure networked control is modeled, analyzed, and experimentally illustrated in this paper. An attack space defined by the adversary's system knowledge, disclosure, and disruption resources is introduced. Adversaries constrained by…

Optimization and Control · Mathematics 2012-12-04 André Teixeira , Iman Shames , Henrik Sandberg , Karl H. Johansson

The Internet of Things (IoT) necessitates robust access control mechanisms to secure a vast array of interconnected devices. Most of the existing IoT systems in practice use centralized solutions. We identify the problems in such solutions…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-27 Yongtao Huang , I-Ling Yen , Farokh Bastani
‹ Prev 1 8 9 10 Next ›