English
Related papers

Related papers: Introducing Access Control in Webdamlog

200 papers

In the Internet of Things (IoT) domain, devices need a platform to transact seamlessly without a trusted intermediary. Although Distributed Ledger Technologies (DLTs) could provide such a platform, blockchains, such as Bitcoin, were not…

Networking and Internet Architecture · Computer Science 2021-07-15 Andrew Cullen , Pietro Ferraro , William Sanders , Luigi Vigneri , Robert Shorten

We study verification of systems whose transitions consist of accesses to a Web-based data-source. An access is a lookup on a relation within a relational database, fixing values for a set of positions in the relation. For example, a…

Databases · Computer Science 2012-03-30 Michael Benedikt , Pierre Bourhis , Clemens Ley

Sharing data from various sources and of diverse kinds, and fusing them together for sophisticated analytics and mash-up applications are emerging trends, and are prerequisites for grand visions such as that of cyber-physical systems…

Databases · Computer Science 2011-09-22 Dinh Tien Tuan Anh , Wang Wenqiang , Anwitaman Datta

Linked Data technologies become increasingly important in many domains. Key factors for their breakthrough are security and trust. Classical means for access control lack granularity when parts of the Linked Data graph must be protected.…

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

Cooperative control is crucial for the effective operation of dynamical multi-agent systems. Especially for distributed control schemes, it is essential to exchange data between the agents. This becomes a privacy threat if the data is…

Systems and Control · Electrical Eng. & Systems 2024-12-19 Philipp Binfet , Janis Adamek , Nils Schlüter , Moritz Schulze Darup

Attribute-based access control (ABAC) provides a high level of flexibility that promotes security and information sharing. ABAC policy mining algorithms have potential to significantly reduce the cost of migration to ABAC, by partially…

Cryptography and Security · Computer Science 2014-08-08 Zhongyuan Xu , Scott D. Stoller

There is often a fundamental mismatch between programmable privacy frameworks, on the one hand, and the ever shifting privacy expectations of computer system users, on the other hand. Based on the theory of contextual integrity (CI), our…

Data provenance (the process of determining the origin and derivation of data outputs) has applications across multiple domains including explaining database query results and auditing scientific workflows. Despite decades of research,…

Databases · Computer Science 2026-05-15 Chrysanthi Kosyfaki , Ruiyuan Zhang , Nikos Mamoulis , Xiaofang Zhou

A collaboration network is a graph formed by communication channels between parties. Parties communicate over these channels to establish secrets, simultaneously enforcing interdependencies between the secrets. The paper studies properties…

Logic in Computer Science · Computer Science 2010-11-02 Sara Miner More , Pavel Naumov

Demand is growing for more accountability regarding the technological systems that increasingly occupy our world. However, the complexity of many of these systems - often systems-of-systems - poses accountability challenges. A key reason…

Computers and Society · Computer Science 2019-11-18 Jatinder Singh , Jennifer Cobbe , Chris Norval

The recent major developments in information technologies have opened interesting possibilities for the effective management of multi-agent systems. In many cases, the important role of central control nodes can now be undertaken by several…

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

Organizations often lay down rules or guidelines called Natural Language Access Control Policies (NLACPs) for specifying who gets access to which information and when. However, these cannot be directly used in a target access control model…

Cryptography and Security · Computer Science 2025-02-19 Pratik Sonune , Ritwik Rai , Shamik Sural , Vijayalakshmi Atluri , Ashish Kundu

Distributed controllers are often necessary for a multi-agent system to satisfy safety properties such as collision avoidance. Communication and coordination are key requirements in the implementation of a distributed control protocol, but…

Systems and Control · Computer Science 2018-04-13 Eric S. Kim , Murat Arcak , Sanjit A. Seshia , BaekGyu Kim , Shinichi Shiraishi

We propose a framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative constraint language, expressing constraints over aspects such…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-06-24 Alan Dearle , Graham Kirby , Andrew McCarthy

We present a new self-regulating methodology for coordinating distributed team work called Algorithmic Autoregulation (AA), based on recent social networking concepts and individual merit. Team members take on an egalitarian role, and stay…

We consider distributed networks, such as peer-to-peer networks, whose structure can be manipulated by adjusting the rules by which vertices enter and leave the network. We focus in particular on degree distributions and show that, with…

Physics and Society · Physics 2007-10-18 Gourab Ghoshal , M. E. J. Newman

This paper investigates the problem of distributed medium access control in a time slotted wireless multiple access network with an unknown finite number of homogeneous users. Assume that each user has a single transmission option. In each…

Information Theory · Computer Science 2018-11-28 Yanru Tang , Faeze Heydaryan , Jie Luo

In this paper, we propose novel state-based algorithms which dynamically control the random access network based on its current state such as channel states of wireless links and backlog states of the queues. After formulating the problem,…

Information Theory · Computer Science 2010-11-24 Amir Mahdy Khodaian , Babak H. Khalaj

Decentralized control systems are widely used in a number of situations and applications. In order for these systems to function properly and achieve their desired goals, information must be propagated between agents, which requires…

Systems and Control · Electrical Eng. & Systems 2022-08-02 Paul Griffioen , Raffaele Romagnoli , Bruce H. Krogh , Bruno Sinopoli

Remote manipulation is emerging as one of the key robotics tasks needed in extreme environments. Several researchers have investigated how to add AI components into shared controllers to improve their reliability. Nonetheless, the impact of…

Robotics · Computer Science 2019-06-21 Claudio Zito , Maxime Adjigble , Brice D. Denoun , Lorenzo Jamone , Miles Hansard , Rustam Stolkin