Business System Management and Engineering
From Open Issues to Applications
Page
%P
-
Article
Open AccessCertifying Accuracy, Privacy, and Robustness of ML-Based Malware Detection
Recent advances in artificial intelligence (AI) are radically changing how systems and applications are designed and developed. In this context, new requirements and regulations emerge, such as the AI Act, pla...
-
Chapter and Conference Paper
Lightweight Behavior-Based Malware Detection
Modern malware detection tools rely on special permissions to collect data that can reveal the presence of suspicious software within a machine. Typical data that they collect for this task are the set of syst...
-
Chapter and Conference Paper
MUSA: A Platform for Data-Intensive Services in Edge-Cloud Continuum
In the rapidly evolving landscape of modern applications, the Edge-Cloud Continuum emerges as a pivotal paradigm, promising unprecedented flexibility and efficiency in service deployments. As the demand for lo...
-
Living Reference Work Entry In depth
Script Language Security
-
Chapter and Conference Paper
Continuous Certification of Non-functional Properties Across System Changes
Existing certification schemes implement continuous verification techniques aiming to prove non-functional (e.g., security) properties of software systems over time. These schemes provide different re-certific...
-
Living Reference Work Entry In depth
XML-Based Access Control Languages
-
Living Reference Work Entry In depth
Location Information (Privacy of)
-
Living Reference Work Entry In depth
Privacy-Aware Languages
-
Chapter and Conference Paper
An Assurance Framework and Process for Hybrid Systems
Security assurance is a discipline aiming to demonstrate that a target system holds some non/functional properties and behaves as expected. These techniques have been recently applied to the cloud, facing some...
-
Chapter and Conference Paper
Certified Machine-Learning Models
The massive adoption of Machine Learning (ML) has deeply changed the internal structure, the design and the operation of software systems. ML has shifted the focus from code to data, especially in application ...
-
Chapter
A Case for IoT Security Assurance
Today the proliferation of ubiquitous devices interacting with the external environment and connected by means of wired/wireless communication technologies points to the definition of a new vision of ICT calle...
-
Chapter
Security Certification for the Cloud: The CUMULUS Approach
This chapter presents a certification-based assurance solution for the cloud, which has been developed as part of the FP7 EU Project CUMULUS. It provides an overview of the CUMULUS certification models, which ...
-
Chapter and Conference Paper
Trustworthy Cloud Certification: A Model-Based Approach
Cloud computing is introducing an architectural paradigm shift that involves a large part of the IT industry. The flexibility in allocating and releasing resources at runtime creates new business opportunities...
-
Article
Dependability certification of services: a model-based approach
The advances and success of the Service-Oriented Architecture (SOA) paradigm have produced a revolution in ICT, particularly, in the way in which software applications are implemented and distributed. Today, a...
-
Chapter and Conference Paper
Network and Storage Latency Attacks to Online Trading Protocols in the Cloud
Online trading protocols enable participants to trade, barter, or sell goods and services over a private network or the global Net. Due to diversity of network and computational resources at their disposal, pa...
-
Chapter
A Certification-Aware Service-Oriented Architecture
The widespread development of Service-Oriented Architecture (SOA) and web services is changing the traditional view of information technology. Today, software applications are increasingly distributed and con...
-
Chapter and Conference Paper
Machine-Readable Privacy Certificates for Services
Privacy-aware processing of personal data on the web of services requires managing a number of issues arising both from the technical and the legal domain. Several approaches have been proposed to matching pri...
-
Article
Landmark-assisted location and tracking in outdoor mobile network
Modern mobile devices integrating sensors, like accelerometers and cameras, are paving the way to the definition of high-quality and accurate geolocation solutions based on the informations acquired by these s...
-
Book
-
Chapter
Container-Level Security Certification of Services
The increasing success of the Service-Oriented Architecture (SOA) paradigm has fostered the implementation of complex services, including business processes, via dynamic selection and composition of remote ser...
