English
Related papers

Related papers: Introducing Access Control in Webdamlog

200 papers

Presence of a logically centralized controller in software-defined networks enables smart and fine-grained management of network traffic. Generally, traffic management includes measurement, analysis and control of traffic in order to…

Networking and Internet Architecture · Computer Science 2017-03-14 Hamidreza Almasi , Hossein Ajorloo

Workflow provenance typically assumes that each module is a "black-box", so that each output depends on all inputs (coarse-grained dependencies). Furthermore, it does not model the internal state of a module, which can change between…

Databases · Computer Science 2012-01-04 Yael Amsterdamer , Susan B. Davidson , Daniel Deutch , Tova Milo , Julia Stoyanovich , Val Tannen

Controlled sharing is fundamental to distributed systems. We consider a capability-based distributed authorization system where a client receives capabilities (access tokens) from an authorization server to access the resources of resource…

Cryptography and Security · Computer Science 2022-11-10 Adrian Shuai Li , Reihaneh Safavi-Naini , Philip W. L. Fong

For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-08-24 Gabriel Ciobanu , Ross Horne

Complex tasks are increasingly delegated to ensembles of specialized LLM-based agents that reason, communicate, and coordinate actions-both among themselves and through interactions with external tools, APIs, and databases. While persistent…

Multiagent Systems · Computer Science 2025-05-27 Alireza Rezazadeh , Zichao Li , Ange Lou , Yuying Zhao , Wei Wei , Yujia Bao

In general, deep learning models use to make informed decisions immensely. Developed models are mainly based on centralized servers, which face several issues, including transparency, traceability, reliability, security, and privacy. In…

Cryptography and Security · Computer Science 2023-03-28 Asma Jodeiri Akbarfam , Sina Barazandeh , Hoda Maleki , Deepti Gupta

Due to the exceptional performance of Large Language Models (LLMs) in diverse downstream tasks,there has been an exponential growth in edge-device requests to cloud-based models.However, the current authentication mechanism using static…

Cryptography and Security · Computer Science 2025-01-16 Jiahao Zhao , Jiayi Nan , Lai Wei , Yichen Yang , Fan Wu

Information flow security is classically formulated in terms of the absence of illegal information flows, with respect to a security setting consisting of a single flow policy that specifies what information flows should be permitted in the…

Programming Languages · Computer Science 2019-01-09 Ana Almeida Matos , Jan Cederquist

This paper deals with controllability of dynamical networks. It is often unfeasible or unnecessary to fully control large-scale networks, which motivates the control of a prescribed subset of agents of the network. This specific form of…

Optimization and Control · Mathematics 2016-08-09 Henk J. van Waarde , M. Kanat Camlibel , Harry L. Trentelman

Cooperative information systems typically involve various entities in a collaborative process within a distributed environment. Blockchain technology offers a mechanism for automating such processes, even when only partial trust exists…

Cryptography and Security · Computer Science 2024-05-08 Edoardo Marangone , Michele Spina , Claudio Di Ciccio , Ingo Weber

This note aims to provide a systematic investigation of direct data-driven control, enriching the existing literature not by adding another isolated result, but rather by offering a unifying, versatile, and broad framework that enables the…

Systems and Control · Electrical Eng. & Systems 2025-08-11 Nima Monshizadeh , Claudio De Persis , Pietro Tesi

The sharing of data and digital assets in a decentralized settling is associated with various legislative challenges, including, but not limited to, the need to adhere to legal requirements with respect to privacy (e.g. data protection…

Cryptography and Security · Computer Science 2022-06-13 Ines Akaichi

There are many familiar situations in which a manager seeks to design a system in which users share a resource, but outcomes depend on the information held and actions taken by users. If communication is possible, the manager can ask users…

Computer Science and Game Theory · Computer Science 2012-07-18 Luca Canzian , Yuanzhang Xiao , William Zame , Michele Zorzi , Mihaela van der Schaar

The paper proposes an approach to modeling users of large Web sites based on combining different data sources: access logs and content of the accessed pages are combined with semantic information about the Web pages, the users and the…

Information Retrieval · Computer Science 2011-03-28 Blaz Fortuna , Dunja Mladenic , Marko Grobelnik

This work targets the problem of odor source localization by multi-agent systems. A hierarchical cooperative control has been put forward to solve the problem of locating source of an odor by driving the agents in consensus when at least…

Systems and Control · Computer Science 2017-11-13 Abhinav Sinha , Rishemjit Kaur , Ritesh Kumar , Amol P. Bhondekar

The increasing proliferation of IoT devices and AI applications has created a demand for scalable and efficient computing solutions, particularly for applications requiring real-time processing. The compute continuum integrates edge and…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-14 Negin Akbari , John Grundy , Aamir Cheema , Adel N. Toosi

This paper introduces a new mechanism for specifying constraints in distributed workflows. By introducing constraints in a contextual form, it is shown how different people and groups within collaborative communities can cooperatively…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 G. E. Graham , M. Anzar Afaq , David Evans , Gerald Guglielmo , Eric Wicklund , Peter Love

We introduce a semantic approach to the study of logics for access control and dependency analysis, based on Game Semantics. We use a variant of AJM games with explicit justification (but without pointers). Based on this, we give a simple…

Logic in Computer Science · Computer Science 2014-01-22 Samson Abramsky , Radha jagadeesan

In this paper, we study the distributed control of networked cyber-physical systems when a much more energy-efficient distributed communication management strategy is proposed to solve the well-studied consensus problem. In contrast to the…

Systems and Control · Computer Science 2016-09-14 Yongcan Cao , Eduardo Pasiliao

WLAN is one of the most successful applications of wireless communications in daily life because of low cost and ease of deployment. The enabling technique for this success is the use of random access schemes for the wireless channel.…

Information Theory · Computer Science 2009-11-03 Georg Böcherer , Alexandre de Baynast