Optimistic Non-repudiation Protocol Analysis
Identifieur interne : 002575 ( Istex/Curation ); précédent : 002574; suivant : 002576Optimistic Non-repudiation Protocol Analysis
Auteurs : Judson Santiago ; Laurent Vigneron [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol that avoids altogether the use of session labels. We have specified and analysed this protocol using an extended version of the AVISPA Tool and one important fault has been discovered. We describe the protocol, the analysis method, show two attack traces that exploit the fault and propose a correction to the protocol.
Url:
DOI: 10.1007/978-3-540-72354-7_8
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :002608
Links to Exploration step
ISTEX:A1952B1A2DAB80E16EF6A211E90D280F20381B21Curation
No country items
Judson Santiago<affiliation><mods:affiliation>LORIA – Nancy Université, </mods:affiliation><wicri:noCountry code="subField"> </wicri:noCountry></affiliation>Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Optimistic Non-repudiation Protocol Analysis</title><author><name sortKey="Santiago, Judson" sort="Santiago, Judson" uniqKey="Santiago J" first="Judson" last="Santiago">Judson Santiago</name><affiliation><mods:affiliation>LORIA – Nancy Université, </mods:affiliation><wicri:noCountry code="subField"> </wicri:noCountry></affiliation></author><author><name sortKey="Vigneron, Laurent" sort="Vigneron, Laurent" uniqKey="Vigneron L" first="Laurent" last="Vigneron">Laurent Vigneron</name><affiliation><mods:affiliation>LORIA – Nancy Université, </mods:affiliation><wicri:noCountry code="subField"> </wicri:noCountry></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: laurent.vigneron@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:A1952B1A2DAB80E16EF6A211E90D280F20381B21</idno><date when="2007" year="2007">2007</date><idno type="doi">10.1007/978-3-540-72354-7_8</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-CJ8D9CN0-C/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002608</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002608</idno><idno type="wicri:Area/Istex/Curation">002575</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Optimistic Non-repudiation Protocol Analysis</title><author><name sortKey="Santiago, Judson" sort="Santiago, Judson" uniqKey="Santiago J" first="Judson" last="Santiago">Judson Santiago</name><affiliation><mods:affiliation>LORIA – Nancy Université, </mods:affiliation><wicri:noCountry code="subField"> </wicri:noCountry></affiliation></author><author><name sortKey="Vigneron, Laurent" sort="Vigneron, Laurent" uniqKey="Vigneron L" first="Laurent" last="Vigneron">Laurent Vigneron</name><affiliation><mods:affiliation>LORIA – Nancy Université, </mods:affiliation></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: laurent.vigneron@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><title level="s" type="abbrev">LNCS</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol that avoids altogether the use of session labels. We have specified and analysed this protocol using an extended version of the AVISPA Tool and one important fault has been discovered. We describe the protocol, the analysis method, show two attack traces that exploit the fault and propose a correction to the protocol.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002575 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 002575 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Curation
|type= RBID
|clé= ISTEX:A1952B1A2DAB80E16EF6A211E90D280F20381B21
|texte= Optimistic Non-repudiation Protocol Analysis
}}
| This area was generated with Dilib version V0.6.33. |  |