{"id":"https://openalex.org/W360156722","doi":null,"title":"Auditabilit\u00e9 pour les protocoles de s\u00e9curit\u00e9","display_name":"Auditabilit\u00e9 pour les protocoles de s\u00e9curit\u00e9","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W360156722","mag":"360156722"},"language":"fr","primary_location":{"id":"pmh:hdl:10068/853458","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/853458","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10068/853458","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085863103","display_name":"Nataliya Guts","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nataliya Guts","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5085863103"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T10126","display_name":"Logic, programming, and type systems","score":0.8208000063896179,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.8208000063896179,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.07280000299215317,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.05180000141263008,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/auditability","display_name":"auditability","score":0.9670000076293945},{"id":"https://openalex.org/keywords/security-protocols","display_name":"security protocols","score":0.9409999847412109},{"id":"https://openalex.org/keywords/audit-logs","display_name":"audit logs","score":0.8100000023841858},{"id":"https://openalex.org/keywords/optimistic-protocols","display_name":"optimistic protocols","score":0.8460000157356262},{"id":"https://openalex.org/keywords/electronic-money","display_name":"electronic money","score":0.8700000047683716},{"id":"https://openalex.org/keywords/process-calculus","display_name":"process algebra","score":0.5479999780654907},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.671999990940094},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.6679999828338623},{"id":"https://openalex.org/keywords/higher-order-functions","display_name":"higher-order functions","score":0.6629999876022339},{"id":"https://openalex.org/keywords/preconditions-and-postconditions","display_name":"preconditions and postconditions","score":0.765999972820282},{"id":"https://openalex.org/keywords/cheating-detection","display_name":"cheating detection","score":0.6259999871253967}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.7257824540138245},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.5948719382286072},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.5237841010093689}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:hdl:10068/853458","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/853458","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"mag:360156722","doi":null,"is_oa":false,"landing_page_url":"http://www.theses.fr/2011PA077004","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:hdl:10068/853458","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/853458","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7095548118","https://openalex.org/W2155626861","https://openalex.org/W7144141116","https://openalex.org/W41994645","https://openalex.org/W7152029752","https://openalex.org/W2765323522","https://openalex.org/W7098900220","https://openalex.org/W7097416372","https://openalex.org/W2773734712","https://openalex.org/W7097453818"],"abstract_inverted_index":{"Les":[0],"protocoles":[1,73,81],"de":[2,10,74,93,98,106,115,128,144,146,157,160,198],"s\u00e9curit\u00e9":[3,75,94],"enregistrent":[4],"souvent":[5,31],"des":[6,38,57,60,69,87,126,178,214,224],"donn\u00e9es":[7],"disponibles":[8],"lors":[9],"leurs":[11,137],"ex\u00e9cutions":[12],"dans":[13,187],"un":[14,211],"journal":[15],"pour":[16,50,89,140,162,181,219],"une":[17,103,164,171,188,203],"\u00e9ventuelle":[18],"analyse":[19],"a":[20,49],"posteriori,":[21],"aussi":[22],"appel\u00e9e":[23],"audit.":[24],"En":[25,121],"pratique,":[26],"les":[27,72,123,133,175],"proc\u00e9dures":[28],"d'audit":[29,166],"restent":[30],"informelles,":[32],"et":[33,54,117,184,216],"le":[34,85,118,206,221],"choix":[35],"du":[36,45],"contenu":[37,86],"journaux":[39,61,70,88],"est":[40],"laiss\u00e9":[41],"au":[42],"bon":[43],"sens":[44],"programmeur.":[46],"Cette":[47],"th\u00e8se":[48],"but":[51],"la":[52,55,96,111,153,196],"formalisation":[53],"v\u00e9rification":[56,197,204],"propri\u00e9t\u00e9s":[58],"attendues":[59],"d'audit.":[62],"D'abord,":[63],"nous":[64,65,130,149,185],"int\u00e9ressons":[66],"\u00e0":[67,95,202],"l'utilisation":[68],"par":[71,136,205],"dits":[76],"optimistes":[77,109],"qui,":[78],"contrairement":[79],"aux":[80],"classiques,":[82],"reposent":[83],"sur":[84,174],"remettre":[90],"certaines":[91],"v\u00e9rifications":[92],"fin":[97],"leur":[99],"ex\u00e9cution.":[100],"Nous":[101,169,193,208],"faisons":[102],"\u00e9tude":[104],"formelle":[105],"deux":[107],"sch\u00e9mas":[108],":":[110],"mise":[112],"en":[113],"gage":[114],"valeur":[116],"porte-monnaie":[119],"\u00e9lectronique.":[120],"appliquant":[122],"techniques":[124],"issues":[125],"langages":[127],"processus,":[129],"montrons":[131,194],"que":[132,195],"informations":[134],"enregistr\u00e9es":[135],"impl\u00e9mentations":[138],"suffisent":[139],"d\u00e9tecter":[141],"toute":[142],"tentative":[143],"tricherie":[145],"participants.":[147],"Ensuite":[148],"d\u00e9finissons":[150],"l'auditabilit\u00e9":[151,199],"comme":[152],"capacit\u00e9":[154],"d'un":[155,190],"protocole":[156],"collecter":[158],"assez":[159],"preuves":[161],"convaincre":[163],"proc\u00e9dure":[165],"pr\u00e9\u00e9tablie":[167],"(juge).":[168],"proposons":[170],"m\u00e9thode":[172],"bas\u00e9e":[173],"types":[176],"avec":[177],"raffinements":[179],"logiques,":[180],"v\u00e9rifier":[182],"l'auditabilit\u00e9,":[183],"l'impl\u00e9mentons":[186],"extension":[189],"typeur":[191],"existant.":[192],"se":[200],"r\u00e9duit":[201],"typage.":[207],"impl\u00e9mentons":[209],"\u00e9galement":[210],"support":[212],"logique":[213],"pr\u00e9-":[215],"post-conditions":[217],"g\u00e9n\u00e9riques":[218],"am\u00e9liorer":[220],"typage":[222],"modulaire":[223],"fonctions":[225],"d'ordre":[226],"sup\u00e9rieur.":[227]},"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}