English
Related papers

Related papers: Automatic Association of Quality Requirements and …

200 papers

Cloud computing has changed online communities in three dimensions, which are scalability, adaptability and reduced overhead. But there are serious security concerns which are brought about by its distributed and multi-tenant…

Cryptography and Security · Computer Science 2026-01-08 Gaurav Sarraf , Vibhor Pal

The NIS2 Directive establishes a common cybersecurity governance model across the European Union, requiring member states to identify, classify, and supervise essential and important entities. As part of a broader governance network, member…

Cryptography and Security · Computer Science 2025-08-28 Fabian Aude Steen , Daniel Assani Shabani

Cloud services today are increasingly built using functionality from other running services. In this paper, we question whether legacy Quality of Services (QoS) metrics and enforcement techniques are sufficient as they are producer centric.…

Computers and Society · Computer Science 2015-10-01 Murad Kablan , Hani Jamjoom , Eric Keller

Cloud computing is significantly reshaping the computing industry built around core concepts such as virtualization, processing power, connectivity and elasticity to store and share IT resources via a broad network. It has emerged as the…

Cryptography and Security · Computer Science 2017-10-24 Obinna Ethelbert , Faraz Fatemi Moghaddam , Philipp Wieder , Ramin Yahyapour

Assurance Cases (ACs) are an established approach in safety engineering to argue quality claims in a structured way. In the context of quality assurance for Machine Learning (ML)-based software components, ACs are also being discussed and…

Cloud computing environments are increasingly vulnerable to security threats such as distributed denial-of-service (DDoS) attacks and SQL injection. Traditional security mechanisms, based on rule matching and feature recognition, struggle…

Cryptography and Security · Computer Science 2025-12-11 Yuqing Wang , Xiao Yang

Incident management is a classical topic in cyber security. Recently, the European Union (EU) has started to consider also the relation between cyber security incidents and cyber security crises. These considerations and preparations,…

Cryptography and Security · Computer Science 2025-10-07 Jukka Ruohonen , Kalle Rindell , Simone Busetti

Failures in safety-critical Cyber-Physical Systems (CPS), both software and hardware-related, can lead to severe incidents impacting physical infrastructure or even harming humans. As a result, extensive simulations and field tests need to…

Software Engineering · Computer Science 2025-01-28 Ankit Agrawal , Philipp Zech , Michael Vierhauser

The introduction of the European Union Artificial Intelligence Act, the NIST Artificial Intelligence Risk Management Framework, and related norms demands a better understanding and implementation of novel risk analysis approaches to…

Artificial Intelligence · Computer Science 2024-01-04 Jose Manuel Camacho , Aitor Couce-Vieira , David Arroyo , David Rios Insua

Personal cryptographic keys are the foundation of many secure services, but storing these keys securely is a challenge, especially if they are used from multiple devices. Storing keys in a centralized location, like an Internet-accessible…

Cryptography and Security · Computer Science 2018-10-04 Arseny Kurnikov , Andrew Paverd , Mohammad Mannan , N. Asokan

Modern cloud computing platforms based on virtual machine monitors carry a variety of complex business that present many network security vulnerabilities. At present, the traditional architecture employs a number of security devices at…

Cryptography and Security · Computer Science 2014-05-06 Jin He , Mianxiong Dong , Kaoru Ota , Minyu Fan , Guangwei Wang

Clouds play a key role in regulating climate change but are difficult to simulate within Earth system models (ESMs). Improving the representation of clouds is one of the key tasks towards more robust climate change projections. This study…

Atmospheric and Oceanic Physics · Physics 2024-10-28 A. Kaps , A. Lauer , G. Camps-Valls , P. Gentine , L. Gómez-Chova , V. Eyring

The EU Artificial Intelligence Act (AIA) establishes different legal principles for different types of AI systems. While prior work has sought to clarify some of these principles, little attention has been paid to robustness and…

Artificial Intelligence · Computer Science 2025-05-29 Henrik Nolte , Miriam Rateike , Michèle Finck

Cloud computing is gaining significant attention, however, security is the biggest hurdle in its wide acceptance. Users of cloud services are under constant fear of data loss, security threats and availability issues. Recently,…

Machine Learning · Computer Science 2018-10-24 Deval Bhamare , Tara Salman , Mohammed Samaka , Aiman Erbad , Raj Jain

To promote sustainable business practices, and to achieve climate neutrality by 2050, the EU has developed the taxonomy of sustainable activities, which describes when exactly business practices can be considered sustainable. While the…

Computers and Society · Computer Science 2025-02-06 Finn Klessascheck , Stephan A. Fahrenkrog-Petersen , Jan Mendling , Luise Pufahl

A long list of documents have been offered as security advice, codes of practice, and security guidelines for building and using security products, including Internet of Things (IoT) devices. To date, little or no systematic analysis has…

Cryptography and Security · Computer Science 2022-11-16 Christopher Bellman , Paul C. van Oorschot

Every organisation today wants to adopt cloud computing paradigm and leverage its various advantages. Today everyone is aware of its characteristics which have made it so popular and how it can help the organisations focus on their core…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-07-26 Kumar Gunjan , R. K. Tiwari , G. Sahoo

Modular deductive verification is a powerful technique capable to show that each function in a program satisfies its contract. However, function contracts do not provide a global view of which high-level (e.g. security-related properties of…

Software Engineering · Computer Science 2019-02-26 Virgile Robles , Nikolai Kosmatov , Virgile Prevosto , Louis Rilling , Pascale Le Gall

Products certified under security certification frameworks such as Common Criteria undergo significant scrutiny during the costly certification process. Yet, critical vulnerabilities, including private key recovery (ROCA, Minerva,…

Cryptography and Security · Computer Science 2024-07-02 Adam Janovsky , Jan Jancar , Petr Svenda , Łukasz Chmielewski , Jiri Michalik , Vashek Matyas

Metrics and frameworks to quantifiably assess security measures have arisen from needs of three distinct research communities - statistical measures from the intrusion detection and prevention literature, evaluation of cyber exercises,…

Cryptography and Security · Computer Science 2019-10-28 Michael D. Iannacone , Robert A. Bridges