Security analysis of systems under cyber threats using labeled timed probabilistic automata

Abstract Cyber-threats are progressing with unrivaled speed and complexity, and security analysis has become a critical issue for preserving systems reliability. In this paper, the problem of security analysis under cyber threats is studied in a discrete event systems framework, where we attempt to...

תיאור מלא

מידע ביבליוגרפי

Principais autores:	Omar Amri, Dimitri Lefebvre
פורמט:	Artigo
שפה:	Inglês
יצא לאור:	SpringerOpen 2026-06-01
סדרה:	Cybersecurity
נושאים:	Discrete event systems Labeled timed probabilistic automata Security analysis Cyber-threats Attack detection function
גישה מקוונת:	https://doi.org/10.1186/s42400-025-00528-5
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!