Zobrazeno 1 - 10
of 61
pro vyhledávání: '"Leneutre, Jean"'
In this paper, we propose a novel formalism called Probabilistic Obstruction Temporal Logic (POTL), which extends Obstruction Logic (OL) by incorporating probabilistic elements. POTL provides a robust framework for reasoning about the probabilistic b
Externí odkaz:
http://arxiv.org/abs/2411.00025
Model checking strategic abilities was successfully developed and applied since the early 2000s to ensure properties in Multi-Agent System. In this paper, we introduce the notion of capacities giving different abilities to an agent. This applies natu
Externí odkaz:
http://arxiv.org/abs/2308.11039
Since 2009, Moving Target Defense (MTD) has become a new paradigm of defensive mechanism that frequently changes the state of the target system to confuse the attacker. This frequent change is costly and leads to a trade-off between misleading the at
Externí odkaz:
http://arxiv.org/abs/2206.14076
Autor:
Catta, Davide1 (AUTHOR) davide.catta@telecom-paris.fr, Leneutre, Jean1 (AUTHOR), Malvone, Vadim1 (AUTHOR)
Publikováno v:
Intelligenza Artificiale. 2023, Vol. 17 Issue 1, p77-88. 12p.
Autor:
Leneutre, Jean.
Th. doct.--Informatique et réseaux--Paris--ENST, 1998.
Bibliogr. p. 127-132. Index. Résumé en français et en anglais.
Bibliogr. p. 127-132. Index. Résumé en français et en anglais.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb37054938h
Publikováno v:
In Procedia Computer Science 2019 151:256-263
Publikováno v:
16th EAI International Conference on Security and Privacy in Communication Networks
16th EAI International Conference on Security and Privacy in Communication Networks, Oct 2020, Washington DC, United States
16th EAI International Conference on Security and Privacy in Communication Networks, Oct 2020, Washington DC, United States
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::03338b30bd1b1343034ef86e18bfe096
https://hal.telecom-paris.fr/hal-03024246
https://hal.telecom-paris.fr/hal-03024246
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Wireless Communications and Mobile Computing.
Numerous secure device pairing (SDP) protocols have been proposed to establish a secure communication between unidentified IoT devices that have no preshared security parameters due to the scalability requirements imposed by the ubiquitous nature of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=hindawi_publ::c0ca22f2a7f0d3ff3e29b5174573ed35