English
Related papers

Related papers: Principle of Need-to-Act

200 papers

Security is an important quality of software systems, but there is a huge lack of security experts. To overcome this gap, we aim to make security design knowledge reusable for architects by proposing the SecuRe recommendation approach to…

Software Engineering · Computer Science 2025-01-28 Alex R. Sabau , Dominik Lammers , Horst Lichter

The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two…

Software Engineering · Computer Science 2019-02-15 Mario Gleirscher , Stefan Kugele

We take the position that agent security must be approached as a systems problem: the AI model powering the agent must be treated as an untrusted component, and security invariants must be enforced at the system level. Through this lens,…

Security Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. After the successful adoption of assurance cases for safety, SACs are getting significant traction in recent…

Software Engineering · Computer Science 2020-04-01 Mazen Mohamad , Jan-Philipp Steghöfer , Riccardo Scandariato

The Knowledge of Preconditions principle (KoP) is proposed as a widely applicable connection between knowledge and action in multi-agent systems. Roughly speaking, it asserts that if some condition is a necessary condition for performing a…

Multiagent Systems · Computer Science 2016-06-27 Yoram Moses

The authors of the study conduct a legal analysis of the concept of energy security. Energy is vital for sustainable development, and sustainability is not only at the heart of development, but also economic, environmental, social and…

General Economics · Economics 2021-07-01 Julia Edigareva , Tatiana Khimich , Oleg Antonov , Jesus Gonzalez

This paper describes a method for creating compelling safety cases. The method seeks to help improve safety case practice in order to address the weaknesses identified in current practice, in particular confirmation bias, after-the-fact…

Software Engineering · Computer Science 2025-02-04 Richard Hawkins

We present a model of political competition in which an incumbent politician, may implement a costly policy to prevent a possible threat to, for example, national security or a natural disaster.

General Economics · Economics 2020-11-18 Arthur Fishman , Doron Klunover

Competitive debaters often find themselves facing a challenging task -- how to debate a topic they know very little about, with only minutes to prepare, and without access to books or the Internet? What they often do is rely on "first…

Computation and Language · Computer Science 2019-08-23 Yonatan Bilu , Ariel Gera , Daniel Hershcovich , Benjamin Sznajder , Dan Lahav , Guy Moshkowich , Anael Malet , Assaf Gavron , Noam Slonim

The Principle of Least Action has evolved and established itself as the most basic law of physics. This allows us to see how this fundamental law of nature determines the development of the system towards states with less action, i.e.,…

Adaptation and Self-Organizing Systems · Physics 2012-10-08 Atanu Bikash Chatterjee

In this paper we present an approach for specifying and prioritizing information security requirements in organizations. It is important to prioritize security requirements since hundred per cent security is not achievable and the limited…

Cryptography and Security · Computer Science 2007-05-23 Xiamoneg Su , Damiano Bolzoni , Pascal van Eck

Due to increased security awareness of enterprises for mobile applications operating with sensitive or personal data as well as extended regulations form legislative (the principle of proportionality) various approaches, how to implement…

Networking and Internet Architecture · Computer Science 2013-04-02 Florian G. Furtmueller

Authentication systems are designed to give the right person access to an organization's information system and to restrict it from the wrong person. Such systems are designed by IT professionals to protect an organization's assets (e.g.,…

Cryptography and Security · Computer Science 2015-09-04 Christopher S. Pilson , James C. McElroy

Safety is becoming cybersecurity under most circumstances. This should be reflected in the Cybersecurity Resilience Act when it is proposed and agreed upon in the European Union. In this paper, we define a range of principles which this…

Computers and Society · Computer Science 2022-05-27 Kaspar Rosager Ludvigsen , Shishir Nagaraja

Given a classification model and a prediction for some input, there are heuristic strategies for ranking features according to their importance in regard to the prediction. One common approach to this task is rooted in propositional logic…

Artificial Intelligence · Computer Science 2025-05-16 Tomás Capdevielle , Santiago Cifuentes

In this essay, we introduce the basic concepts necessary to lay out the foundation for our PhD research on uncertainty and risk-aware adaptation, and discuss relevant related research.

Software Engineering · Computer Science 2025-11-11 Sara Mahdavi Hezavehi , Danny Weyns , Paris Avgeriou

As more business activities are being automated and an increasing number of computers are being used to store vital and sensitive information the need for secure computer systems becomes more apparent. These systems can be achieved only…

Computers and Society · Computer Science 2009-09-25 Shireesh Reddy Annam

With the adoption of the EU AI Act, companies must understand and implement its compliance requirements -- an often complex task, especially in areas like risk management and fundamental rights assessments. This paper introduces our…

Computers and Society · Computer Science 2025-04-30 Tomasz Hollanek , Yulu Pi , Dorian Peters , Selen Yakar , Eleanor Drage

We introduce the notion of an approximation system as a generalization of Taylor approximation, and we give some first examples. Next we develop the general theory, including error bounds and a sufficient criterion for convergence. More…

Classical Analysis and ODEs · Mathematics 2017-10-20 Victor A. Pessers , Tom H. Koornwinder

The Principle of the Glitch states that for any device which makes a discrete decision based upon a continuous range of possible inputs, there are inputs for which it will take arbitrarily long to reach a decision. The appropriate…

Information Theory · Computer Science 2017-04-06 Leslie Lamport , Richard Palais
‹ Prev 1 2 3 10 Next ›