2019
DOI: 10.1007/978-3-030-22999-3_22
|View full text |Cite
|
Sign up to set email alerts
|

Graphical Event Model Learning and Verification for Security Assessment

Abstract: The main objective of our work is to assess the security of a given real world system by verifying whether this system satisfies given properties and, if not, how far it is from satisfying them. We are interested in performing formal verification of this system based on event sequences collected from its execution. In this paper, we propose a preliminary model-based approach where a Graphical Event Model (GEM), learned from the event streams, is considered to be representative of the underlying system. This mo… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2019
2019
2020
2020

Publication Types

Select...
1
1

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(3 citation statements)
references
References 4 publications
0
3
0
Order By: Relevance
“…In this paper we proposed an algorithm for Multi Task Learning with Timescale Graphical Event Models. This algorithm, MTL Forward-Backward search, is an adaptation of the one proposed for Bayesian networks by [9] that also combines the efficient TGEM structure learning method proposed by [6] and the TGEM distance recently proposed in [1]. In this preliminary work, we also illustrated this algorithm with a simple toy example in order to give the intuition of its interest.…”
Section: Resultsmentioning
confidence: 99%
See 1 more Smart Citation
“…In this paper we proposed an algorithm for Multi Task Learning with Timescale Graphical Event Models. This algorithm, MTL Forward-Backward search, is an adaptation of the one proposed for Bayesian networks by [9] that also combines the efficient TGEM structure learning method proposed by [6] and the TGEM distance recently proposed in [1]. In this preliminary work, we also illustrated this algorithm with a simple toy example in order to give the intuition of its interest.…”
Section: Resultsmentioning
confidence: 99%
“…In order to estimate the distance between two RTGEMs, Antakly and al. [1] have proposed an extension of the usual Structural Hamming Distance. The distance between two RTGEMs M 1 = ((L, E 1 ), T 1 ) and M 2 = ((L, E 2 ), T 2 ) with the same set of labels, is defined by:…”
Section: Distance Between Two Rtgemsmentioning
confidence: 99%
“…To the best of my knowledge, TGEMs are so far only theoretically covered in literature (Gunawardana and Meek 2016;Antakly, Delahaye, and Leray 2019;Monvoisin and Leray 2019) and neither synthetic nor real-world data have been modeled yet with TGEMs. Moreover, a relevant question -the choice of the default horizon -has not received any dedication.…”
Section: Methodsmentioning
confidence: 99%