{"id":"https://openalex.org/W7152124715","doi":"https://doi.org/10.70675/e7eb4ed2z198fz41c3z8ac2zaf69562c9f50","title":"Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty","display_name":"Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty","publication_year":2023,"publication_date":"2023-10-03","ids":{"openalex":"https://openalex.org/W7152124715","doi":"https://doi.org/10.70675/e7eb4ed2z198fz41c3z8ac2zaf69562c9f50"},"language":"fr","primary_location":{"id":"doi:10.70675/e7eb4ed2z198fz41c3z8ac2zaf69562c9f50","doi":"https://doi.org/10.70675/e7eb4ed2z198fz41c3z8ac2zaf69562c9f50","is_oa":false,"landing_page_url":"https://doi.org/10.70675/e7eb4ed2z198fz41c3z8ac2zaf69562c9f50","pdf_url":null,"source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universit\u00e9 de Lorraine","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://www.theses.fr/2023LORR0386/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057824195","display_name":"Dylan Marinho","orcid":"https://orcid.org/0000-0002-2548-6196","observed_orcids":["https://orcid.org/0000-0002-2548-6196"]},"institutions":[{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Dylan Marinho","raw_affiliation_strings":["Universit\u00e9 de Lorraine"],"raw_orcid":"https://orcid.org/0000-0002-2548-6196","affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Lorraine","institution_ids":["https://openalex.org/I90183372"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5057824195"],"corresponding_institution_ids":["https://openalex.org/I90183372"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/parametric-timed-automata","display_name":"parametric timed automata","score":0.8949999809265137},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.7239999771118164},{"id":"https://openalex.org/keywords/benchmark-library","display_name":"benchmark library","score":0.6740000247955322},{"id":"https://openalex.org/keywords/state-merging","display_name":"state merging","score":0.6830000281333923},{"id":"https://openalex.org/keywords/convexity","display_name":"convexity","score":0.4690000116825104},{"id":"https://openalex.org/keywords/opacity","display_name":"opacity","score":0.8450000286102295},{"id":"https://openalex.org/keywords/security-properties","display_name":"security properties","score":0.35199999809265137},{"id":"https://openalex.org/keywords/safety-properties","display_name":"safety properties","score":0.7080000042915344},{"id":"https://openalex.org/keywords/real-time-systems","display_name":"real-time systems","score":0.5249999761581421},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.47999998927116394},{"id":"https://openalex.org/keywords/heuristics","display_name":"heuristics","score":0.5600000023841858}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.727400004863739},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.5461999773979187},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28209999203681946},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2303999960422516},{"id":"https://openalex.org/C2549261","wikidata":"https://www.wikidata.org/wiki/Q43455","display_name":"Ethnology","level":1,"score":0.18289999663829803},{"id":"https://openalex.org/C2986909951","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision system","level":2,"score":0.14569999277591705},{"id":"https://openalex.org/C42248794","wikidata":"https://www.wikidata.org/wiki/Q1071659","display_name":"Subjectivism","level":2,"score":0.1356000006198883},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12960000336170197},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.125},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.12489999830722809}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.70675/e7eb4ed2z198fz41c3z8ac2zaf69562c9f50","doi":"https://doi.org/10.70675/e7eb4ed2z198fz41c3z8ac2zaf69562c9f50","is_oa":false,"landing_page_url":"https://doi.org/10.70675/e7eb4ed2z198fz41c3z8ac2zaf69562c9f50","pdf_url":null,"source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universit\u00e9 de Lorraine","raw_type":"dissertation"},{"id":"pmh:2023LORR0386","doi":null,"is_oa":true,"landing_page_url":"http://www.theses.fr/2023LORR0386/document","pdf_url":"http://www.theses.fr/2023LORR0386/document","source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Electronic Thesis or Dissertation"},{"id":"pmh:oai:HAL:tel-04579320v1","doi":null,"is_oa":true,"landing_page_url":"https://theses.hal.science/tel-04579320","pdf_url":"https://theses.hal.science/tel-04579320/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science [cs]. Universit\u00e9 de Lorraine, 2023. English. ⟨NNT : 2023LORR0386⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"}],"best_oa_location":{"id":"pmh:2023LORR0386","doi":null,"is_oa":true,"landing_page_url":"http://www.theses.fr/2023LORR0386/document","pdf_url":"http://www.theses.fr/2023LORR0386/document","source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Electronic Thesis or Dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7152124715.pdf","grobid_xml":"https://content.openalex.org/works/W7152124715.grobid-xml"},"referenced_works_count":226,"referenced_works":["https://openalex.org/W11326594","https://openalex.org/W94054824","https://openalex.org/W152809744","https://openalex.org/W333239218","https://openalex.org/W837480072","https://openalex.org/W850842725","https://openalex.org/W1190524203","https://openalex.org/W1213177963","https://openalex.org/W1482486776","https://openalex.org/W1493300555","https://openalex.org/W1496022251","https://openalex.org/W1514904193","https://openalex.org/W1515421996","https://openalex.org/W1519685353","https://openalex.org/W1521939022","https://openalex.org/W1546526613","https://openalex.org/W1550659912","https://openalex.org/W1560508321","https://openalex.org/W1563355994","https://openalex.org/W1572495738","https://openalex.org/W1590315663","https://openalex.org/W1599995366","https://openalex.org/W1603182045","https://openalex.org/W1613874182","https://openalex.org/W1619435765","https://openalex.org/W1647861174","https://openalex.org/W1656884964","https://openalex.org/W1737342522","https://openalex.org/W1862357615","https://openalex.org/W1863919967","https://openalex.org/W1917164756","https://openalex.org/W1946664948","https://openalex.org/W1971949385","https://openalex.org/W1976202267","https://openalex.org/W1976659775","https://openalex.org/W1992147928","https://openalex.org/W1994350081","https://openalex.org/W1998005907","https://openalex.org/W1998084650","https://openalex.org/W2000947342","https://openalex.org/W2004463571","https://openalex.org/W2007490191","https://openalex.org/W2009363597","https://openalex.org/W2020915693","https://openalex.org/W2021255060","https://openalex.org/W2023035194","https://openalex.org/W2023499821","https://openalex.org/W2023808162","https://openalex.org/W2025782239","https://openalex.org/W2031373068","https://openalex.org/W2031409637","https://openalex.org/W2047989760","https://openalex.org/W2062873592","https://openalex.org/W2077321406","https://openalex.org/W2080267935","https://openalex.org/W2080575293","https://openalex.org/W2083964867","https://openalex.org/W2088028681","https://openalex.org/W2093045165","https://openalex.org/W2094258292","https://openalex.org/W2095304972","https://openalex.org/W2097042421","https://openalex.org/W2098166444","https://openalex.org/W2098912517","https://openalex.org/W2101508170","https://openalex.org/W2104658241","https://openalex.org/W2108384401","https://openalex.org/W2113043607","https://openalex.org/W2116912109","https://openalex.org/W2136545402","https://openalex.org/W2139101939","https://openalex.org/W2144186266","https://openalex.org/W2144965436","https://openalex.org/W2147340401","https://openalex.org/W2150377894","https://openalex.org/W2155953212","https://openalex.org/W2160690545","https://openalex.org/W2163014247","https://openalex.org/W2163659692","https://openalex.org/W2170136168","https://openalex.org/W2171808413","https://openalex.org/W2176215692","https://openalex.org/W2180888708","https://openalex.org/W2217834713","https://openalex.org/W2242997541","https://openalex.org/W2262479428","https://openalex.org/W2274504493","https://openalex.org/W2280974750","https://openalex.org/W2288075641","https://openalex.org/W2295332800","https://openalex.org/W2295421498","https://openalex.org/W2466079098","https://openalex.org/W2475544345","https://openalex.org/W2478309515","https://openalex.org/W2479369740","https://openalex.org/W2480029240","https://openalex.org/W2484078761","https://openalex.org/W2484855330","https://openalex.org/W2485474588","https://openalex.org/W2488581006","https://openalex.org/W2496764087","https://openalex.org/W2497291046","https://openalex.org/W2499219338","https://openalex.org/W2499406781","https://openalex.org/W2500048941","https://openalex.org/W2522219859","https://openalex.org/W2523496806","https://openalex.org/W2530593621","https://openalex.org/W2550605469","https://openalex.org/W2551309523","https://openalex.org/W2571592482","https://openalex.org/W2587449885","https://openalex.org/W2592232428","https://openalex.org/W2598014203","https://openalex.org/W2607981089","https://openalex.org/W2617458767","https://openalex.org/W2620236264","https://openalex.org/W2735951711","https://openalex.org/W2737390252","https://openalex.org/W2737435014","https://openalex.org/W2750367645","https://openalex.org/W2750879512","https://openalex.org/W2753494700","https://openalex.org/W2784305947","https://openalex.org/W2787101291","https://openalex.org/W2796125030","https://openalex.org/W2799169671","https://openalex.org/W2801746908","https://openalex.org/W2807514885","https://openalex.org/W2808785738","https://openalex.org/W2888483353","https://openalex.org/W2889374234","https://openalex.org/W2894347312","https://openalex.org/W2897692436","https://openalex.org/W2902805425","https://openalex.org/W2904270376","https://openalex.org/W2905232208","https://openalex.org/W2907843930","https://openalex.org/W2914000830","https://openalex.org/W2914348326","https://openalex.org/W2932074657","https://openalex.org/W2943907237","https://openalex.org/W2947265524","https://openalex.org/W2947417799","https://openalex.org/W2951158023","https://openalex.org/W2952951816","https://openalex.org/W2954348209","https://openalex.org/W2954479669","https://openalex.org/W2954656065","https://openalex.org/W2962297646","https://openalex.org/W2962719417","https://openalex.org/W2963047853","https://openalex.org/W2964335063","https://openalex.org/W2965855949","https://openalex.org/W2971773748","https://openalex.org/W2977635527","https://openalex.org/W2978242032","https://openalex.org/W2982178505","https://openalex.org/W2982684720","https://openalex.org/W3005836298","https://openalex.org/W3008189384","https://openalex.org/W3010307732","https://openalex.org/W3012133978","https://openalex.org/W3014661248","https://openalex.org/W3016701145","https://openalex.org/W3032952463","https://openalex.org/W3035201718","https://openalex.org/W3036557299","https://openalex.org/W3047969355","https://openalex.org/W3048357584","https://openalex.org/W3093832379","https://openalex.org/W3097817821","https://openalex.org/W3116090886","https://openalex.org/W3136649089","https://openalex.org/W3138503800","https://openalex.org/W3147040231","https://openalex.org/W3150699029","https://openalex.org/W3158471321","https://openalex.org/W3173467143","https://openalex.org/W3179187860","https://openalex.org/W3183267604","https://openalex.org/W3184664699","https://openalex.org/W3194120901","https://openalex.org/W3198596883","https://openalex.org/W3199055575","https://openalex.org/W3204553280","https://openalex.org/W4206087489","https://openalex.org/W4206652101","https://openalex.org/W4214833524","https://openalex.org/W4225635692","https://openalex.org/W4226411310","https://openalex.org/W4231228921","https://openalex.org/W4234414668","https://openalex.org/W4234481469","https://openalex.org/W4235503874","https://openalex.org/W4235839613","https://openalex.org/W4237041209","https://openalex.org/W4239940594","https://openalex.org/W4240377830","https://openalex.org/W4243454990","https://openalex.org/W4244055687","https://openalex.org/W4246709976","https://openalex.org/W4248876337","https://openalex.org/W4249361497","https://openalex.org/W4253268779","https://openalex.org/W4280582832","https://openalex.org/W4281974544","https://openalex.org/W4282966423","https://openalex.org/W4283396587","https://openalex.org/W4285223637","https://openalex.org/W4286447266","https://openalex.org/W4288832657","https://openalex.org/W4293399549","https://openalex.org/W4295971253","https://openalex.org/W4300004495","https://openalex.org/W4300868389","https://openalex.org/W4310285845","https://openalex.org/W4312961284","https://openalex.org/W4378551373","https://openalex.org/W4378551377","https://openalex.org/W4383174190","https://openalex.org/W4387225704","https://openalex.org/W4387225795","https://openalex.org/W4388000491","https://openalex.org/W4393424434","https://openalex.org/W4393585751"],"related_works":["https://openalex.org/W2931614521","https://openalex.org/W7149655993","https://openalex.org/W7143421931","https://openalex.org/W7150807400","https://openalex.org/W7149259050","https://openalex.org/W7148635752","https://openalex.org/W7144019261","https://openalex.org/W806201001","https://openalex.org/W65183940","https://openalex.org/W146862639"],"abstract_inverted_index":{"Contributions":[0],"th\u00e9oriques":[1],"et":[2,10,41,237,302,319,405,448],"algorithmiques":[3],"pour":[4,175,357,409],"l\u2019analyse":[5],"de":[6,8,11,25,51,58,73,118,123,143,165,173,184,196,212,245,249,253,279,306,315,323,365,372,403,418,436],"propri\u00e9t\u00e9s":[7],"s\u00fbret\u00e9":[9,78],"s\u00e9curit\u00e9":[12],"dans":[13,24,200,345,392],"les":[14,30,32,52,169,189,264,321,396,410],"syst\u00e8mes":[15,20,49,134],"temporis\u00e9s":[16,105,135,154],"sous":[17,136,313],"incertitude":[18],"Les":[19],"temps-r\u00e9els":[21],"sont":[22,451],"pr\u00e9sents":[23],"multiples":[26],"champs":[27],"d'applications,":[28],"comme":[29],"transports,":[31],"t\u00e9l\u00e9communications":[33],"ou":[34,128],"l'industrie.":[35],"Cependant,":[36],"des":[37,103,152,163,203,210,340,390,401],"accidents":[38],"peuvent":[39,225],"arriver":[40],"il":[42],"est":[43,55,107,148,180,219,317,355,379,384],"n\u00e9cessaire":[44,57],"d'avoir":[45],"confiance":[46],"en":[47,116,247,277,283,431],"ces":[48,133,222],"afin":[50],"\u00e9viter.":[53],"Il":[54],"donc":[56,132],"pouvoir":[59],"prouver":[60],"formellement":[61,299],"que":[62,286,294],"leur":[63],"comportement":[64,86],"sera":[65,94],"conforme":[66],"avec":[67,342,387],"une":[68,260,415,449],"sp\u00e9cification.":[69],"Celle-ci":[70],"peut":[71,113],"\u00eatre":[72,114,126,226],"deux":[74,213,223,304],"natures":[75],":":[76,207,308,344],"la":[77,90,119,197,216,388],"du":[79,121,291,330,370],"syst\u00e8me,":[80,122],"montrant":[81,92],"qu'il":[82,93],"aura":[83],"toujours":[84],"un":[85,269,274,349,353,393,433,446],"attendu,":[87],"mais":[88],"aussi":[89],"s\u00e9curit\u00e9,":[91],"r\u00e9sistant":[95],"\u00e0":[96,139,141,162,259,272,422,429,441],"certaines":[97],"attaques.":[98],"Pour":[99,395],"cela,":[100],"le":[101,150,176,194,201,251,287,295],"formalisme":[102,151,424],"automates":[104,153],"(TAs)":[106],"assez":[108],"commun.":[109],"N\u00e9anmoins,":[110],"cette":[111,242,300,336],"mod\u00e9lisation":[112],"imparfaite,":[115],"raison":[117],"nature":[120],"simplifications":[124],"devant":[125],"faites":[127],"d'impr\u00e9cisions.":[129],"Nous":[130,297,333,359,412,426],"\u00e9tudions":[131,193,303],"incertitude,":[137],"c'est":[138],"dire":[140],"l'aide":[142],"param\u00e8tres.":[144],"L'extension":[145],"naturelle":[146],"\u00e9tudi\u00e9e":[147],"alors":[149,221,362,428],"param\u00e9tr\u00e9s":[155],"(PTAs).":[156],"Tout":[157],"d'abord,":[158],"nous":[159,160,192,233,238,256,257,360,399],"int\u00e9ressons":[161,258,361],"m\u00e9thodes":[164],"v\u00e9rification":[166],"efficace":[167],"sur":[168,263],"PTAs.":[170],"Une":[171,381],"librarie":[172],"benchmark":[174],"model-checking":[177],"temporis\u00e9":[178],"param\u00e9tr\u00e9":[179],"pr\u00e9sent\u00e9e;":[181],"celle-ci":[182],"permet":[183,244],"comparer":[185],"diff\u00e9rents":[186,397],"algorithmes":[187,408],"concernant":[188],"PTA.":[190,265,394],"Ensuite,":[191,255],"cas":[195,339],"fusion":[198],"d'\u00e9tats":[199],"graphe":[202],"zones":[204],"d'un":[205,325],"PTA":[206,326],"si":[208],"l'union":[209],"contraintes":[211],"\u00e9tats":[214,224],"ayant":[215,230],"m\u00eame":[217],"localit\u00e9":[218],"convexe,":[220],"fusionn\u00e9s.":[227],"Cette":[228],"m\u00e9thode":[229,243],"\u00e9t\u00e9":[231],"impl\u00e9ment\u00e9e,":[232],"comparons":[234],"diff\u00e9rentes":[235],"heuristiques":[236],"montrons":[239,400],"qu'en":[240],"pratique":[241],"r\u00e9duire":[246],"moyenne":[248],"62%":[250],"temps":[252,288],"calcul.":[254],"notion":[261,301],"d'opacit\u00e9":[262],"Dans":[266],"notre":[267,423],"formalisme,":[268,347],"attaquant":[270],"cherche":[271],"d\u00e9terminer":[273,320],"secret":[275,354],"(exprim\u00e9":[276],"terme":[278],"visite":[280],"d'une":[281],"localit\u00e9)":[282],"ne":[284],"connaissant":[285],"d'ex\u00e9cution":[289],"total":[290],"syst\u00e8me":[292,311],"(ainsi":[293],"mod\u00e8le).":[296],"d\u00e9finissons":[298],"types":[305],"probl\u00e8mes":[307],"d\u00e9cider":[309],"qu'un":[310,377,438],"exprim\u00e9":[312],"forme":[314],"TA":[316,331,378,439],"opaque":[318],"valeurs":[322],"param\u00e8tres":[324,391],"permettant":[327,375],"d'assurer":[328,376],"l'opacit\u00e9":[329],"associ\u00e9.":[332],"\u00e9tendons":[334],"ensuite":[335],"d\u00e9finition":[337],"au":[338,363],"secrets":[341],"expiration":[343],"ce":[346],"apr\u00e8s":[348],"certain":[350],"d\u00e9lai,":[351],"trouver":[352],"inutile":[356],"l'attaquant.":[358],"probl\u00e8me":[364],"d\u00e9cision":[366],"ainsi":[367],"qu'\u00e0":[368],"celui":[369],"calcul":[371],"date":[373],"d'expiration":[374],"opaque.":[380],"extension":[382],"param\u00e9tr\u00e9e":[383],"\u00e9galement":[385,414],"\u00e9tudi\u00e9e,":[386],"synth\u00e8se":[389],"probl\u00e8mes,":[398],"r\u00e9sultats":[402],"d\u00e9cidablit\u00e9":[404],"proposons":[406],"quelques":[407],"r\u00e9soudre.":[411],"pr\u00e9sentons":[413],"premi\u00e8re":[416],"version":[417],"contr\u00f4le":[419],"non-temporis\u00e9":[420],"associ\u00e9":[421],"d'opacit\u00e9.":[425],"cherchons":[427],"mettre":[430],"\u00e9vidence":[432],"ensemble":[434,443],"d'actions":[435],"sorte":[437],"restreint":[440],"cet":[442],"soit":[444],"opaque;":[445],"algorithme":[447],"impl\u00e9mentation":[450],"propos\u00e9s.":[452]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-04-09T00:00:00"}