English
Related papers

Related papers: Platform-Independent Firewall Policy Representatio…

200 papers

This paper aims at contributing to the ongoing debate on how to bring programmability of stateful packet processing tasks inside the network switches, while retaining platform independency. Our proposed approach, named "Open Packet…

Networking and Internet Architecture · Computer Science 2016-05-09 Giuseppe Bianchi , Marco Bonola , Salvatore Pontarelli , Davide Sanvito , Antonio Capone , Carmelo Cascone

In systems design, we generally distinguish the architecture and the protocol levels. In the context of privacy by design, in the first case, we talk about privacy architectures, which define the privacy goals and the main features of the…

Cryptography and Security · Computer Science 2015-01-16 Vinh-Thong Ta , Thibaud Antignac

Access control is an important component for web services such as a cloud. Current clouds tend to design the access control mechanism together with the policy language on their own. It leads to two issues: (i) a cloud user has to learn…

Cryptography and Security · Computer Science 2019-03-26 Yang Luo , Qingni Shen , Zhonghai Wu

Large Intelligent Systems are so complex these days that an urgent need for designing such systems in best available way is evolving. Modeling is the useful technique to show a complex real world system into the form of abstraction, so that…

Software Engineering · Computer Science 2011-11-04 Ankit Chaudhary , Jagdish L. Raheja

Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper…

Programming Languages · Computer Science 2017-01-31 Gurvan Le Guernic , Benoit Combemale , José A. Galindo

In this paper, we address the following research problem: How can we generate a meaningful split grammar that explains a given facade layout? To evaluate if a grammar is meaningful, we propose a cost function based on the description length…

Graphics · Computer Science 2014-05-09 Fuzhang Wu , Dong-Ming Yan , Weiming Dong , Xiaopeng Zhang , Peter Wonka

For security and privacy management and enforcement purposes, various policy languages have been presented. We give an overview on 27 security and privacy policy languages and present a categorization framework for policy languages. We show…

Cryptography and Security · Computer Science 2015-12-02 Saffija Kasem-Madani , Michael Meier

Modelling qualitative uncertainty in formal argumentation is essential both for practical applications and theoretical understanding. Yet, most of the existing works focus on \textit{abstract} models for arguing with uncertainty. Following…

Artificial Intelligence · Computer Science 2026-02-18 Carlo Proietti , Antonio Yuste-Ginel

To effectively express and satisfy network application requirements, intent-based network management has emerged as a promising solution. In intent-based methods, users and applications express their intent in a high-level abstract language…

Networking and Internet Architecture · Computer Science 2024-02-08 Salwa Mostafa , Mohammed S. Elbamby , Mohamed K. Abdel-Aziz , Mehdi Bennis

Large language models are redefining software engineering by implementing AI-powered techniques throughout the whole software development process, including requirement gathering, software architecture, code generation, testing, and…

Software Engineering · Computer Science 2024-06-11 Malik Abdul Sami , Muhammad Waseem , Zeeshan Rasheed , Mika Saari , Kari Systä , Pekka Abrahamsson

AI agents are vulnerable to indirect prompt injection attacks, where malicious instructions embedded in external content or tool outputs cause unintended or harmful behavior. Inspired by the well-established concept of firewalls, we show…

Cryptography and Security · Computer Science 2026-03-24 Rishika Bhagwatkar , Kevin Kasa , Abhay Puri , Gabriel Huang , Irina Rish , Graham W. Taylor , Krishnamurthy Dj Dvijotham , Alexandre Lacoste

The emergence of agent-to-agent communication protocols mirrors the early internet: powerful connectivity with minimal security infrastructure. When AI agents communicate on behalf of users, every message crosses a trust boundary where the…

Cryptography and Security · Computer Science 2026-03-03 Sahar Abdelnabi , Amr Gomaa , Eugene Bagdasarian , Per Ola Kristensson , Reza Shokri

Autonomic computing has been proposed recently as a way to address the difficult management of applications whose complexity is constantly increasing. Autonomous applications will have to be especially flexible and be able to monitor…

Networking and Internet Architecture · Computer Science 2009-09-29 Simon Patarin , Mesaac Makpangou

Multi-party Conversational Systems are systems with natural language interaction between one or more people or systems. From the moment that an utterance is sent to a group, to the moment that it is replied in the group by a member, several…

Computation and Language · Computer Science 2017-05-08 Maira Gatti de Bayser , Paulo Cavalin , Renan Souza , Alan Braz , Heloisa Candello , Claudio Pinhanez , Jean-Pierre Briot

We introduce a unified mathematical and probabilistic framework for understanding and comparing diverse AI agent strategies. We bridge the gap between high-level agent design concepts, such as ReAct, multi-agent systems, and control flows,…

Artificial Intelligence · Computer Science 2025-12-05 Philip Stephens , Emmanuel Salawu

Traditional technologies of firewall testing are overlooked. A new formalized approach is presented. Recommendations on optimization of test procedures are given.

Cryptography and Security · Computer Science 2013-06-11 Alexander Barabanov , Alexey Markov , Valentin Tsirlov

An abstract argumentation framework can be used to model the argumentative stance of an agent at a high level of abstraction, by indicating for every pair of arguments that is being considered in a debate whether the first attacks the…

Artificial Intelligence · Computer Science 2017-07-28 Weiwei Chen , Ulle Endriss

The field of Artificial Intelligence is undergoing a transition from Generative AI -- probabilistic generation of text and images -- to Agentic AI, in which autonomous systems execute actions within external environments on behalf of users.…

Artificial Intelligence · Computer Science 2026-03-02 Sheng Cao , Zhao Chang , Chang Li , Hannan Li , Liyao Fu , Ji Tang

This research report proposes a structured solution to address the need for awareness of cultural and language in user design. It will include evaluated research on established methods that already exist. Discussed ideas about how to…

Computers and Society · Computer Science 2016-05-26 Jason Ross , Jing Gao

Recent incidents of cybersecurity violations have revealed the importance of having firewalls and other intrusion detection systems to monitor traffic entering and leaving access networks. But the adoption of such security measures is often…

Systems and Control · Computer Science 2012-03-09 M. H. R. Khouzani , Soumya Sen , Ness B. Shroff