A Method for Secure Smartcard Applications
Identifieur interne : 008D17 ( Main/Merge ); précédent : 008D16; suivant : 008D18A Method for Secure Smartcard Applications
Auteurs : Dominik Haneberg [Allemagne] ; Wolfgang Reif [Allemagne] ; Kurt Stenzel [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: We have presented a method for the formal development of secure smartcard applications. The method combines and integrates different techniques (with algebraic specifications at the core) to tackle the different problems: objects and distributed systems, attackers and cryptographic protocols, JavaCard programs and limited resources. The techniques include UML models enriched by algebraic specifications, and dynamic logic for JavaCard verification. The method is tailored to take advantage of the special features of smartcard scenarios, and to make proving securityand correctness as easy as possible. The method is illustrated with a small but surprisinglyco mplex example, a copy card. The approach is implemented in the KIV specification and verification system.
Url:
DOI: 10.1007/3-540-45719-4_22
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003928
- to stream Istex, to step Curation: 003885
- to stream Istex, to step Checkpoint: 001C97
Links to Exploration step
ISTEX:EF4E80D1DE8D2BBE0FE7046E981AB7C19BAD1DCFLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Method for Secure Smartcard Applications</title><author><name sortKey="Haneberg, Dominik" sort="Haneberg, Dominik" uniqKey="Haneberg D" first="Dominik" last="Haneberg">Dominik Haneberg</name></author><author><name sortKey="Reif, Wolfgang" sort="Reif, Wolfgang" uniqKey="Reif W" first="Wolfgang" last="Reif">Wolfgang Reif</name></author><author><name sortKey="Stenzel, Kurt" sort="Stenzel, Kurt" uniqKey="Stenzel K" first="Kurt" last="Stenzel">Kurt Stenzel</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:EF4E80D1DE8D2BBE0FE7046E981AB7C19BAD1DCF</idno><date when="2002" year="2002">2002</date><idno type="doi">10.1007/3-540-45719-4_22</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-9PKB1ZV5-J/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">003928</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003928</idno><idno type="wicri:Area/Istex/Curation">003885</idno><idno type="wicri:Area/Istex/Checkpoint">001C97</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001C97</idno><idno type="wicri:doubleKey">0302-9743:2002:Haneberg D:a:method:for</idno><idno type="wicri:Area/Main/Merge">008D17</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Method for Secure Smartcard Applications</title><author><name sortKey="Haneberg, Dominik" sort="Haneberg, Dominik" uniqKey="Haneberg D" first="Dominik" last="Haneberg">Dominik Haneberg</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg, 86135, Augsburg</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Souabe</region><settlement type="city">Augsbourg</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Reif, Wolfgang" sort="Reif, Wolfgang" uniqKey="Reif W" first="Wolfgang" last="Reif">Wolfgang Reif</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg, 86135, Augsburg</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Souabe</region><settlement type="city">Augsbourg</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Stenzel, Kurt" sort="Stenzel, Kurt" uniqKey="Stenzel K" first="Kurt" last="Stenzel">Kurt Stenzel</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg, 86135, Augsburg</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Souabe</region><settlement type="city">Augsbourg</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</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: We have presented a method for the formal development of secure smartcard applications. The method combines and integrates different techniques (with algebraic specifications at the core) to tackle the different problems: objects and distributed systems, attackers and cryptographic protocols, JavaCard programs and limited resources. The techniques include UML models enriched by algebraic specifications, and dynamic logic for JavaCard verification. The method is tailored to take advantage of the special features of smartcard scenarios, and to make proving securityand correctness as easy as possible. The method is illustrated with a small but surprisinglyco mplex example, a copy card. The approach is implemented in the KIV specification and verification system.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 008D17 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 008D17 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= ISTEX:EF4E80D1DE8D2BBE0FE7046E981AB7C19BAD1DCF
|texte= A Method for Secure Smartcard Applications
}}
| This area was generated with Dilib version V0.6.33. |  |