English
Related papers

Related papers: Metric-Aware Secure Service Orchestration

200 papers

Secure sensor calibration constitutes a foundational step that underpins operational safety in the Industrial Internet of Things. While much attention has been given to IoT security such as the use of TLS to secure sensed data, little…

Cryptography and Security · Computer Science 2020-03-03 Ryan Shah , Michael McIntee , Shishir Nagaraja , Sahil Bhandary , Prerna Arote , Joy Kuri

Synchrophasor devices guarantee situation awareness for real-time monitoring and operational visibility of the smart grid. With their widespread implementation, significant challenges have emerged, especially in communication, data quality…

Cryptography and Security · Computer Science 2018-11-26 Aditya Sundararajan , Tanwir Khan , Amir Moghadasi , Arif I. Sarwat

Data-aware processes represent and integrate structural and behavioural constraints in a single model, and are thus increasingly investigated in business process management and information systems engineering. In this spectrum, Data Petri…

Logic in Computer Science · Computer Science 2022-03-29 Paolo Felli , Marco Montali , Sarah Winkler

In the Internet of Things (IoT), heterogeneous devices connect to each other and to external systems to exchange data and provide services. Given the diversity of devices, it is becoming increasingly common to establish collaborative…

Cryptography and Security · Computer Science 2017-06-12 Ahmad-Atamli Reineh , Andrew J. Paverd , Andrew P. Martin

Software product quality can be defined as the features and characteristics of the product that meet the user needs. The quality of any software can be achieved by following a well defined software process. These software process results…

Software Engineering · Computer Science 2018-02-19 Karuna Prasad , MG Divya , N Mangala

Service matching concerns finding suitable services according to the service requester's requirements, which is a complex task due to the increasing number and diversity of cloud services available. Service matching is discussed in web…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-07-25 Begüm İlke Zilci , Mathias Slawik , Axel Küpper

Parser combinators are a well-known mechanism used for the compositional construction of parsers, and have shown to be particularly useful in writing parsers for rich grammars with data-dependencies and global state. Verifying applications…

Programming Languages · Computer Science 2023-05-16 Ashish Mishra , Suresh Jagannathan

Nowadays, with the emergence and the evolution of new technologies, such as e-business, a large number of companies are connected to Internet, and have proposed web services to trade. Web services as presented, are conceptually limited…

Software Engineering · Computer Science 2013-04-09 Sofiane Chemaa , Raida Elmansouri , Allaoua Chaoui

This paper surveys the area of Trust Metrics related to security for autonomous robotic systems. As the robotics industry undergoes a transformation from programmed, task oriented, systems to Artificial Intelligence-enabled learning, these…

Robotics · Computer Science 2023-04-05 Vincenzo DiLuoffo , William R. Michalson

How can the complexity of ML-enabled systems be managed effectively? The goal of this research is to investigate how complexity affects ML-Enabled Systems (MLES). To address this question, this research aims to introduce a metrics-based…

Software Engineering · Computer Science 2025-08-13 Renato Cordeiro Ferreira

Todays industrial control systems consist of tightly coupled components allowing adversaries to exploit security attack surfaces from the information technology side, and, thus, also get access to automation devices residing at the…

Software Engineering · Computer Science 2023-06-26 Mukund Bhole , Wolfgang Kastner , Thilo Sauter

The monitoring of event frequencies can be used to recognize behavioral anomalies, to identify trends, and to deduce or discard hypotheses about the underlying system. For example, the performance of a web server may be monitored based on…

Logic in Computer Science · Computer Science 2020-01-13 Thomas Ferrère , Thomas A. Henzinger , Bernhard Kragl

As machine learning (ML) systems increasingly permeate high-stakes settings such as healthcare, transportation, military, and national security, concerns regarding their reliability have emerged. Despite notable progress, the performance of…

Machine Learning · Computer Science 2023-08-01 Anthony Corso , David Karamadian , Romeo Valentin , Mary Cooper , Mykel J. Kochenderfer

The Internet of Things (IoT) security landscape requires the architectural solutions that can address the technical and operational challenges across the heterogeneous environments. The IoT systems operate in different conditions, and…

Cryptography and Security · Computer Science 2026-02-12 Muhammad Imran

Machine learning (ML) is increasingly being deployed in critical systems. The data dependence of ML makes securing data used to train and test ML-enabled systems of utmost importance. While the field of cybersecurity has well-established…

Cryptography and Security · Computer Science 2023-12-05 Padmaksha Roy , Jaganmohan Chandrasekaran , Erin Lanus , Laura Freeman , Jeremy Werner

The increasing dependency of modern society on IT systems and infrastructures for essential services (e.g. internet banking, vehicular network, health-IT, etc.) coupled with the growing number of cyber incidents and security vulnerabilities…

Cryptography and Security · Computer Science 2022-02-09 Cyril Onwubiko , Karim Ouazzane

User privacy concerns are widely regarded as a key obstacle to the success of modern smart cyber-physical systems. In this paper, we analyse, through an example, some of the requirements that future data collection architectures of these…

Networking and Internet Architecture · Computer Science 2018-09-10 Mahmoud Barhamgi , Charith Perera , Chirine Ghedira , Djamal Benslimane

Enforcing security requirements in networked information systems relies on security controls to mitigate the risks from increasingly dangerous threats. Configuring security controls is challenging; even nowadays, administrators must perform…

Cryptography and Security · Computer Science 2025-01-14 Cataldo Basile , Gabriele Gatti , Francesco Settanni

Decentralized applications are often composed of multiple interconnected smart contracts. This is especially evident in DeFi, where protocols are heavily intertwined and rely on a variety of basic building blocks such as tokens,…

Cryptography and Security · Computer Science 2025-05-27 Emily Priyadarshini , Massimo Bartoletti

Our high expectations from Internet of Things (IoT) and how it will positively influence our lifestyles depend on a secure and trusted implementation of it, especially in the sensitive sectors such as health or financial. IoT platforms and…

Cryptography and Security · Computer Science 2020-08-21 Mohammad Sayad Haghighi , Orwa Nader , Alireza Jolfaei