Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Ben Said, Najah"'
Autor:
Ben Said, Najah, Cristescu, Ioana
Publikováno v:
In Science of Computer Programming 15 February 2020 187
Attack trees are graphical representations of the different scenarios that can lead to a security failure. In this paper we propose a security-based framework for modeling IoT systems where attack trees are defined alongside the model to detect and p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cccc82a41b07a6e92bdbec6885d2e4f2
https://hal.inria.fr/hal-01962089/file/2018_GramSec.pdf
https://hal.inria.fr/hal-01962089/file/2018_GramSec.pdf
Multi-party interactions in Web Service composition are hardly managed where parallel communications, while end-to-end security is respected, is difficult to be designed and verified. In this paper, we present an approach to handle and secure multi-p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::19b94d09adbcb38fec37f1ac8ccb8eef
https://hal.inria.fr/hal-01629427
https://hal.inria.fr/hal-01629427
Autor:
Ben Said, Najah
La sécurité des systèmes d'information sont primordiales dans la vie d'aujourd'hui, en particulier avec la croissance des systèmes informatiques complexes et fortement interconnectés. Par exemple, les systèmes bancaires ont l'obligation de gara
Externí odkaz:
http://www.theses.fr/2016GREAM053/document
Autor:
Ben Said, Najah
Publikováno v:
Systems and Control [cs.SY]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM053⟩
The security of information systems are paramount in today’s life, especially with the growth of complex and highly interconnected computer systems. For instance, bank systems have the obligation to guarantee the integrity and confidentiality of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::facdaaf1fc1d1651408b4b1dcc8b6639
https://tel.archives-ouvertes.fr/tel-01679945
https://tel.archives-ouvertes.fr/tel-01679945
Publikováno v:
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers; 2016, p105-122, 18p
Publikováno v:
From Programs to Systems. The Systems Perspective in Computing; 2014, p1-20, 20p
Publikováno v:
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers; 2016, p331-331, 1p
Publikováno v:
From Programs to Systems. The Systems Perspective in Computing; 2014, p1-1, 1p
Autor:
Dirk Beyer, Marieke Huisman
This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took plac