<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://air.imag.fr/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=GodetMatthieu</id>
	<title>air - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://air.imag.fr/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=GodetMatthieu"/>
	<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php/Special:Contributions/GodetMatthieu"/>
	<updated>2026-06-09T10:11:02Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.39.17</generator>
	<entry>
		<id>https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2127</id>
		<title>Contrôle d&#039;Accès Contactless JavaCard</title>
		<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2127"/>
		<updated>2011-04-22T14:00:20Z</updated>

		<summary type="html">&lt;p&gt;GodetMatthieu: /* Détail */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;* UE/Module: Projet M2M M2PGI&lt;br /&gt;
* Enseignants: Didier Donsez&lt;br /&gt;
* Etudiants M2PGI: Matthieu Godet (chef de projet), Etienne Gosset.&lt;br /&gt;
&lt;br /&gt;
==Description==&lt;br /&gt;
Le projet &#039;&#039;&#039;Contrôle d’accès Javacard contacless (NFC)&#039;&#039;&#039; est un service de contrôle d&#039;accès et de pointage dans des batiments. Ce système utilise des cartes à puce [[JavaCard]] ou [[BasicCard]] sans contact ([[ISO14443]]) ou avec contact ([[ISO7816]]), des étiquettes [[NFC]] ou bien des [[iButtons]]. Chaque carte contient un trousseau de clés confiées à un porteur. Une clé autorise l&#039;ouverture (ou la sortie) d&#039;un point d&#039;accès (porte, tourniquet, ...) à des dates ou périodes définies. Chaque clé est signée (digitalement) par le gestionnaire du batiment permettant une vérification &#039;&#039;offline&#039;&#039;.A la présentation de la carte, la serrure interroge la carte pour lui demander la (ou les) clés qui la concerne, vérifie la signature digitale de la clé, et déclenche l&#039;ouverture de la porte (par exemple, alimentation électrique de la gâche électrique, ...) si la date courante est dans la période autorisée définie pour la clé.&lt;br /&gt;
&lt;br /&gt;
Le système devra supporte les attaques suivantes:&lt;br /&gt;
* rejeu (replay) d&#039;un échange contre la serrure  ([http://fr.wikipedia.org/wiki/Attaque_de_l%27homme_du_milieu &#039;&#039;Man in the Middle&#039;&#039;]).&lt;br /&gt;
* confidentialité : la serrure ne peut interroger que les clés qui la concerne. &lt;br /&gt;
* autres à définir&lt;br /&gt;
&lt;br /&gt;
==Equipement==&lt;br /&gt;
* Lecteurs ASK et GCR410&lt;br /&gt;
* [[JavaCard]] contact et contactless &lt;br /&gt;
* [[BasicCard]] contact et contactless&lt;br /&gt;
&lt;br /&gt;
==Détail==&lt;br /&gt;
&lt;br /&gt;
===Environnement de développement===&lt;br /&gt;
&lt;br /&gt;
*[http://www.oracle.com/technetwork/java/javacard/downloads/index.html Java Card Development kit 2.2.2] (librairies pour developper une application javacard et pour un client + outils de simulation de carte)&lt;br /&gt;
*Eclipse&lt;br /&gt;
*[http://sourceforge.net/projects/eclipse-jcde/ plugin d&#039;integration eclipse-JCDE-0.1]&lt;br /&gt;
&lt;br /&gt;
===Installation===&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Java Card Development kit 2.2.2&#039;&#039;&#039;&lt;br /&gt;
* ajouter la variable d&#039;environnement JC_HOME et l&#039;ajouter au path.&lt;br /&gt;
* Attention! si vous etes sous windows, que vous voulez utiliser l&#039;outil apdutool, et que votre JAVA_HOME ou JC_HOME contient des espaces il faut modifier le script Apdutool.bat -&amp;gt; remplacer %JAVA(JC)_HOME% par &amp;quot;c:...&amp;quot;&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Plugin eclipse&#039;&#039;&#039;&lt;br /&gt;
*désarchiver l&#039;archive et placer le contenu du dossier plugin dans le dossier plugin d&#039;eclipse&lt;br /&gt;
&lt;br /&gt;
===Création d&#039;un projet java card sous eclipse===&lt;br /&gt;
&lt;br /&gt;
*file -&amp;gt; new -&amp;gt; other -&amp;gt; Javacard -&amp;gt; javacard project&lt;br /&gt;
*clique droit sur le projet -&amp;gt; new -&amp;gt; other -&amp;gt; javacard applet&lt;br /&gt;
*clique droit sur le package -&amp;gt; java card tools -&amp;gt; set package AID&lt;br /&gt;
&lt;br /&gt;
===Conception===&lt;br /&gt;
&lt;br /&gt;
[[File:DiagrammeJC.png]]&lt;br /&gt;
&lt;br /&gt;
*L&#039;issuer peut administrer la carte, une fois que celle-ci c&#039;est authentifié, en lui ajoutant, supprimant des clés ou en réinitialisant son trousseau&lt;br /&gt;
*La java card applet est l&#039;applet permettant de stocker les clés&lt;br /&gt;
*La serrure après authentification de la carte, lui demande de fournir la clé lui correspondant. Une fois que la serrure obtient la clé elle vérifie la période de validité de celle-ci.&lt;br /&gt;
&lt;br /&gt;
====Authentification de la carte====&lt;br /&gt;
&lt;br /&gt;
Pour que la communication s&#039;opère entre le client (l&#039;issuer ou la serrure) et la carte, la carte doit s&#039;authentifier.&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Algorithme de cryptage utilisé :&#039;&#039;&#039; &lt;br /&gt;
RSA avec des clé privée/public de 512 bits.&lt;br /&gt;
&lt;br /&gt;
*L&#039;issuer et les serrures possèdent une clé privée commune.&lt;br /&gt;
*La carte possède la clé public correspondante. &lt;br /&gt;
*Tous les acteurs possèdent un message commun.&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Séquence d&#039;authentification :&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
[[File:Sequence identification.jpg]]&lt;br /&gt;
&lt;br /&gt;
====Format d&#039;une clé====&lt;br /&gt;
&lt;br /&gt;
[[File:FormatCle.png]]&lt;br /&gt;
&lt;br /&gt;
==Lecture==&lt;br /&gt;
Introduction à la Sécurité&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#secu &lt;br /&gt;
JCE (Java Cryptography Extension)&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/jce.pdf&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/tpjce.zip&lt;br /&gt;
Cartes à microprocesseur&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#smartcard&lt;br /&gt;
API [[Javax.smartcardio|javax.smartcardio]] (avec des lecteurs [[PCSC]])&lt;br /&gt;
&lt;br /&gt;
API [[Java Security]]&lt;br /&gt;
&lt;br /&gt;
Bruce Schneier, Applied Cryptography, Second Edition (en francais Éditeur : Vuibert, 2001, ISBN: 2711786765) [http://www.schneier.com/book-applied.html site], [http://www.schneier.com/book-applied-source.html code source]&lt;br /&gt;
&lt;br /&gt;
==Liens==&lt;br /&gt;
* [http://www.linuxnet.com/musclecard/index.html MuscleCard]&lt;br /&gt;
* [OpenID]&lt;br /&gt;
** [http://portal.acm.org/citation.cfm?id=1834217.1834318 OpenID Card]&lt;br /&gt;
** http://code.sxip.com/openidcards&lt;br /&gt;
&lt;br /&gt;
==Equipe==&lt;br /&gt;
* Matthieu Godet (chef de projet)&lt;br /&gt;
* Etienne Gosset&lt;/div&gt;</summary>
		<author><name>GodetMatthieu</name></author>
	</entry>
	<entry>
		<id>https://air.imag.fr/index.php?title=File:FormatCle.png&amp;diff=2126</id>
		<title>File:FormatCle.png</title>
		<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php?title=File:FormatCle.png&amp;diff=2126"/>
		<updated>2011-04-22T13:59:54Z</updated>

		<summary type="html">&lt;p&gt;GodetMatthieu: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>GodetMatthieu</name></author>
	</entry>
	<entry>
		<id>https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2066</id>
		<title>Contrôle d&#039;Accès Contactless JavaCard</title>
		<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2066"/>
		<updated>2011-04-15T14:44:16Z</updated>

		<summary type="html">&lt;p&gt;GodetMatthieu: /* Authentification de la carte */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;* UE/Module: Projet M2M M2PGI&lt;br /&gt;
* Enseignants: Didier Donsez&lt;br /&gt;
* Etudiants M2PGI: Matthieu Godet (chef de projet), Etienne Gosset.&lt;br /&gt;
&lt;br /&gt;
==Description==&lt;br /&gt;
Le projet &#039;&#039;&#039;Contrôle d’accès Javacard contacless (NFC)&#039;&#039;&#039; est un service de contrôle d&#039;accès et de pointage dans des batiments. Ce système utilise des cartes à puce [[JavaCard]] ou [[BasicCard]] sans contact ([[ISO14443]]) ou avec contact ([[ISO7816]]), des étiquettes [[NFC]] ou bien des [[iButtons]]. Chaque carte contient un trousseau de clés confiées à un porteur. Une clé autorise l&#039;ouverture (ou la sortie) d&#039;un point d&#039;accès (porte, tourniquet, ...) à des dates ou périodes définies. Chaque clé est signée (digitalement) par le gestionnaire du batiment permettant une vérification &#039;&#039;offline&#039;&#039;.A la présentation de la carte, la serrure interroge la carte pour lui demander la (ou les) clés qui la concerne, vérifie la signature digitale de la clé, et déclenche l&#039;ouverture de la porte (par exemple, alimentation électrique de la gâche électrique, ...) si la date courante est dans la période autorisée définie pour la clé.&lt;br /&gt;
&lt;br /&gt;
Le système devra supporte les attaques suivantes:&lt;br /&gt;
* rejeu (replay) d&#039;un échange contre la serrure  ([http://fr.wikipedia.org/wiki/Attaque_de_l%27homme_du_milieu &#039;&#039;Man in the Middle&#039;&#039;]).&lt;br /&gt;
* confidentialité : la serrure ne peut interroger que les clés qui la concerne. &lt;br /&gt;
* autres à définir&lt;br /&gt;
&lt;br /&gt;
==Equipement==&lt;br /&gt;
* Lecteurs ASK et GCR410&lt;br /&gt;
* [[JavaCard]] contact et contactless &lt;br /&gt;
* [[BasicCard]] contact et contactless&lt;br /&gt;
&lt;br /&gt;
==Détail==&lt;br /&gt;
&lt;br /&gt;
===Environnement de développement===&lt;br /&gt;
&lt;br /&gt;
*[http://www.oracle.com/technetwork/java/javacard/downloads/index.html Java Card Development kit 2.2.2] (librairies pour developper une application javacard et pour un client + outils de simulation de carte)&lt;br /&gt;
*Eclipse&lt;br /&gt;
*[http://sourceforge.net/projects/eclipse-jcde/ plugin d&#039;integration eclipse-JCDE-0.1]&lt;br /&gt;
&lt;br /&gt;
===Installation===&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Java Card Development kit 2.2.2&#039;&#039;&#039;&lt;br /&gt;
* ajouter la variable d&#039;environnement JC_HOME et l&#039;ajouter au path.&lt;br /&gt;
* Attention! si vous etes sous windows, que vous voulez utiliser l&#039;outil apdutool, et que votre JAVA_HOME ou JC_HOME contient des espaces il faut modifier le script Apdutool.bat -&amp;gt; remplacer %JAVA(JC)_HOME% par &amp;quot;c:...&amp;quot;&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Plugin eclipse&#039;&#039;&#039;&lt;br /&gt;
*désarchiver l&#039;archive et placer le contenu du dossier plugin dans le dossier plugin d&#039;eclipse&lt;br /&gt;
&lt;br /&gt;
===Création d&#039;un projet java card sous eclipse===&lt;br /&gt;
&lt;br /&gt;
*file -&amp;gt; new -&amp;gt; other -&amp;gt; Javacard -&amp;gt; javacard project&lt;br /&gt;
*clique droit sur le projet -&amp;gt; new -&amp;gt; other -&amp;gt; javacard applet&lt;br /&gt;
*clique droit sur le package -&amp;gt; java card tools -&amp;gt; set package AID&lt;br /&gt;
&lt;br /&gt;
===Conception===&lt;br /&gt;
&lt;br /&gt;
[[File:DiagrammeJC.png]]&lt;br /&gt;
&lt;br /&gt;
*L&#039;issuer peut administrer la carte, une fois que celle-ci c&#039;est authentifié, en lui ajoutant, supprimant des clés ou en réinitialisant son trousseau&lt;br /&gt;
*La java card applet est l&#039;applet permettant de stocker les clés&lt;br /&gt;
*La serrure après authentification de la carte, lui demande de fournir la clé lui correspondant. Une fois que la serrure obtient la clé elle vérifie la période de validité de celle-ci.&lt;br /&gt;
&lt;br /&gt;
====Authentification de la carte====&lt;br /&gt;
&lt;br /&gt;
Pour que la communication s&#039;opère entre le client (l&#039;issuer ou la serrure) et la carte, la carte doit s&#039;authentifier.&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Algorithme de cryptage utilisé :&#039;&#039;&#039; &lt;br /&gt;
RSA avec des clé privée/public de 512 bits.&lt;br /&gt;
&lt;br /&gt;
*L&#039;issuer et les serrures possèdent une clé privée commune.&lt;br /&gt;
*La carte possède la clé public correspondante. &lt;br /&gt;
*Tous les acteurs possèdent un message commun.&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Séquence d&#039;authentification :&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
[[File:Sequence identification.jpg]]&lt;br /&gt;
&lt;br /&gt;
==Lecture==&lt;br /&gt;
Introduction à la Sécurité&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#secu &lt;br /&gt;
JCE (Java Cryptography Extension)&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/jce.pdf&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/tpjce.zip&lt;br /&gt;
Cartes à microprocesseur&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#smartcard&lt;br /&gt;
API [[Javax.smartcardio|javax.smartcardio]] (avec des lecteurs [[PCSC]])&lt;br /&gt;
&lt;br /&gt;
API [[Java Security]]&lt;br /&gt;
&lt;br /&gt;
Bruce Schneier, Applied Cryptography, Second Edition (en francais Éditeur : Vuibert, 2001, ISBN: 2711786765) [http://www.schneier.com/book-applied.html site], [http://www.schneier.com/book-applied-source.html code source]&lt;br /&gt;
&lt;br /&gt;
==Liens==&lt;br /&gt;
* [http://www.linuxnet.com/musclecard/index.html MuscleCard]&lt;br /&gt;
* [OpenID]&lt;br /&gt;
** [http://portal.acm.org/citation.cfm?id=1834217.1834318 OpenID Card]&lt;br /&gt;
** http://code.sxip.com/openidcards&lt;br /&gt;
&lt;br /&gt;
==Equipe==&lt;br /&gt;
* Matthieu Godet (chef de projet)&lt;br /&gt;
* Etienne Gosset&lt;/div&gt;</summary>
		<author><name>GodetMatthieu</name></author>
	</entry>
	<entry>
		<id>https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2065</id>
		<title>Contrôle d&#039;Accès Contactless JavaCard</title>
		<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2065"/>
		<updated>2011-04-15T14:42:25Z</updated>

		<summary type="html">&lt;p&gt;GodetMatthieu: /* Détail */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;* UE/Module: Projet M2M M2PGI&lt;br /&gt;
* Enseignants: Didier Donsez&lt;br /&gt;
* Etudiants M2PGI: Matthieu Godet (chef de projet), Etienne Gosset.&lt;br /&gt;
&lt;br /&gt;
==Description==&lt;br /&gt;
Le projet &#039;&#039;&#039;Contrôle d’accès Javacard contacless (NFC)&#039;&#039;&#039; est un service de contrôle d&#039;accès et de pointage dans des batiments. Ce système utilise des cartes à puce [[JavaCard]] ou [[BasicCard]] sans contact ([[ISO14443]]) ou avec contact ([[ISO7816]]), des étiquettes [[NFC]] ou bien des [[iButtons]]. Chaque carte contient un trousseau de clés confiées à un porteur. Une clé autorise l&#039;ouverture (ou la sortie) d&#039;un point d&#039;accès (porte, tourniquet, ...) à des dates ou périodes définies. Chaque clé est signée (digitalement) par le gestionnaire du batiment permettant une vérification &#039;&#039;offline&#039;&#039;.A la présentation de la carte, la serrure interroge la carte pour lui demander la (ou les) clés qui la concerne, vérifie la signature digitale de la clé, et déclenche l&#039;ouverture de la porte (par exemple, alimentation électrique de la gâche électrique, ...) si la date courante est dans la période autorisée définie pour la clé.&lt;br /&gt;
&lt;br /&gt;
Le système devra supporte les attaques suivantes:&lt;br /&gt;
* rejeu (replay) d&#039;un échange contre la serrure  ([http://fr.wikipedia.org/wiki/Attaque_de_l%27homme_du_milieu &#039;&#039;Man in the Middle&#039;&#039;]).&lt;br /&gt;
* confidentialité : la serrure ne peut interroger que les clés qui la concerne. &lt;br /&gt;
* autres à définir&lt;br /&gt;
&lt;br /&gt;
==Equipement==&lt;br /&gt;
* Lecteurs ASK et GCR410&lt;br /&gt;
* [[JavaCard]] contact et contactless &lt;br /&gt;
* [[BasicCard]] contact et contactless&lt;br /&gt;
&lt;br /&gt;
==Détail==&lt;br /&gt;
&lt;br /&gt;
===Environnement de développement===&lt;br /&gt;
&lt;br /&gt;
*[http://www.oracle.com/technetwork/java/javacard/downloads/index.html Java Card Development kit 2.2.2] (librairies pour developper une application javacard et pour un client + outils de simulation de carte)&lt;br /&gt;
*Eclipse&lt;br /&gt;
*[http://sourceforge.net/projects/eclipse-jcde/ plugin d&#039;integration eclipse-JCDE-0.1]&lt;br /&gt;
&lt;br /&gt;
===Installation===&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Java Card Development kit 2.2.2&#039;&#039;&#039;&lt;br /&gt;
* ajouter la variable d&#039;environnement JC_HOME et l&#039;ajouter au path.&lt;br /&gt;
* Attention! si vous etes sous windows, que vous voulez utiliser l&#039;outil apdutool, et que votre JAVA_HOME ou JC_HOME contient des espaces il faut modifier le script Apdutool.bat -&amp;gt; remplacer %JAVA(JC)_HOME% par &amp;quot;c:...&amp;quot;&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Plugin eclipse&#039;&#039;&#039;&lt;br /&gt;
*désarchiver l&#039;archive et placer le contenu du dossier plugin dans le dossier plugin d&#039;eclipse&lt;br /&gt;
&lt;br /&gt;
===Création d&#039;un projet java card sous eclipse===&lt;br /&gt;
&lt;br /&gt;
*file -&amp;gt; new -&amp;gt; other -&amp;gt; Javacard -&amp;gt; javacard project&lt;br /&gt;
*clique droit sur le projet -&amp;gt; new -&amp;gt; other -&amp;gt; javacard applet&lt;br /&gt;
*clique droit sur le package -&amp;gt; java card tools -&amp;gt; set package AID&lt;br /&gt;
&lt;br /&gt;
===Conception===&lt;br /&gt;
&lt;br /&gt;
[[File:DiagrammeJC.png]]&lt;br /&gt;
&lt;br /&gt;
*L&#039;issuer peut administrer la carte, une fois que celle-ci c&#039;est authentifié, en lui ajoutant, supprimant des clés ou en réinitialisant son trousseau&lt;br /&gt;
*La java card applet est l&#039;applet permettant de stocker les clés&lt;br /&gt;
*La serrure après authentification de la carte, lui demande de fournir la clé lui correspondant. Une fois que la serrure obtient la clé elle vérifie la période de validité de celle-ci.&lt;br /&gt;
&lt;br /&gt;
====Authentification de la carte====&lt;br /&gt;
&lt;br /&gt;
Pour que la communication s&#039;opère entre le client (l&#039;issuer ou la serrure) la carte doit s&#039;authentifier.&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Algorithme de cryptage utilisé :&#039;&#039;&#039; &lt;br /&gt;
RSA avec des clé privée/public de 512 bits.&lt;br /&gt;
&lt;br /&gt;
*L&#039;issuer et les serrures possèdent une clé privée commune.&lt;br /&gt;
*La carte possède la clé public correspondante. &lt;br /&gt;
*Tous les acteurs possèdent un message commun.&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Séquence d&#039;authentification :&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
[[File:Sequence identification.jpg]]&lt;br /&gt;
&lt;br /&gt;
==Lecture==&lt;br /&gt;
Introduction à la Sécurité&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#secu &lt;br /&gt;
JCE (Java Cryptography Extension)&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/jce.pdf&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/tpjce.zip&lt;br /&gt;
Cartes à microprocesseur&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#smartcard&lt;br /&gt;
API [[Javax.smartcardio|javax.smartcardio]] (avec des lecteurs [[PCSC]])&lt;br /&gt;
&lt;br /&gt;
API [[Java Security]]&lt;br /&gt;
&lt;br /&gt;
Bruce Schneier, Applied Cryptography, Second Edition (en francais Éditeur : Vuibert, 2001, ISBN: 2711786765) [http://www.schneier.com/book-applied.html site], [http://www.schneier.com/book-applied-source.html code source]&lt;br /&gt;
&lt;br /&gt;
==Liens==&lt;br /&gt;
* [http://www.linuxnet.com/musclecard/index.html MuscleCard]&lt;br /&gt;
* [OpenID]&lt;br /&gt;
** [http://portal.acm.org/citation.cfm?id=1834217.1834318 OpenID Card]&lt;br /&gt;
** http://code.sxip.com/openidcards&lt;br /&gt;
&lt;br /&gt;
==Equipe==&lt;br /&gt;
* Matthieu Godet (chef de projet)&lt;br /&gt;
* Etienne Gosset&lt;/div&gt;</summary>
		<author><name>GodetMatthieu</name></author>
	</entry>
	<entry>
		<id>https://air.imag.fr/index.php?title=File:Sequence_identification.jpg&amp;diff=2064</id>
		<title>File:Sequence identification.jpg</title>
		<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php?title=File:Sequence_identification.jpg&amp;diff=2064"/>
		<updated>2011-04-15T14:41:55Z</updated>

		<summary type="html">&lt;p&gt;GodetMatthieu: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>GodetMatthieu</name></author>
	</entry>
	<entry>
		<id>https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2063</id>
		<title>Contrôle d&#039;Accès Contactless JavaCard</title>
		<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2063"/>
		<updated>2011-04-15T14:29:35Z</updated>

		<summary type="html">&lt;p&gt;GodetMatthieu: /* Détail */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;* UE/Module: Projet M2M M2PGI&lt;br /&gt;
* Enseignants: Didier Donsez&lt;br /&gt;
* Etudiants M2PGI: Matthieu Godet (chef de projet), Etienne Gosset.&lt;br /&gt;
&lt;br /&gt;
==Description==&lt;br /&gt;
Le projet &#039;&#039;&#039;Contrôle d’accès Javacard contacless (NFC)&#039;&#039;&#039; est un service de contrôle d&#039;accès et de pointage dans des batiments. Ce système utilise des cartes à puce [[JavaCard]] ou [[BasicCard]] sans contact ([[ISO14443]]) ou avec contact ([[ISO7816]]), des étiquettes [[NFC]] ou bien des [[iButtons]]. Chaque carte contient un trousseau de clés confiées à un porteur. Une clé autorise l&#039;ouverture (ou la sortie) d&#039;un point d&#039;accès (porte, tourniquet, ...) à des dates ou périodes définies. Chaque clé est signée (digitalement) par le gestionnaire du batiment permettant une vérification &#039;&#039;offline&#039;&#039;.A la présentation de la carte, la serrure interroge la carte pour lui demander la (ou les) clés qui la concerne, vérifie la signature digitale de la clé, et déclenche l&#039;ouverture de la porte (par exemple, alimentation électrique de la gâche électrique, ...) si la date courante est dans la période autorisée définie pour la clé.&lt;br /&gt;
&lt;br /&gt;
Le système devra supporte les attaques suivantes:&lt;br /&gt;
* rejeu (replay) d&#039;un échange contre la serrure  ([http://fr.wikipedia.org/wiki/Attaque_de_l%27homme_du_milieu &#039;&#039;Man in the Middle&#039;&#039;]).&lt;br /&gt;
* confidentialité : la serrure ne peut interroger que les clés qui la concerne. &lt;br /&gt;
* autres à définir&lt;br /&gt;
&lt;br /&gt;
==Equipement==&lt;br /&gt;
* Lecteurs ASK et GCR410&lt;br /&gt;
* [[JavaCard]] contact et contactless &lt;br /&gt;
* [[BasicCard]] contact et contactless&lt;br /&gt;
&lt;br /&gt;
==Détail==&lt;br /&gt;
&lt;br /&gt;
===Environnement de développement===&lt;br /&gt;
&lt;br /&gt;
*[http://www.oracle.com/technetwork/java/javacard/downloads/index.html Java Card Development kit 2.2.2] (librairies pour developper une application javacard et pour un client + outils de simulation de carte)&lt;br /&gt;
*Eclipse&lt;br /&gt;
*[http://sourceforge.net/projects/eclipse-jcde/ plugin d&#039;integration eclipse-JCDE-0.1]&lt;br /&gt;
&lt;br /&gt;
===Installation===&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Java Card Development kit 2.2.2&#039;&#039;&#039;&lt;br /&gt;
* ajouter la variable d&#039;environnement JC_HOME et l&#039;ajouter au path.&lt;br /&gt;
* Attention! si vous etes sous windows, que vous voulez utiliser l&#039;outil apdutool, et que votre JAVA_HOME ou JC_HOME contient des espaces il faut modifier le script Apdutool.bat -&amp;gt; remplacer %JAVA(JC)_HOME% par &amp;quot;c:...&amp;quot;&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Plugin eclipse&#039;&#039;&#039;&lt;br /&gt;
*désarchiver l&#039;archive et placer le contenu du dossier plugin dans le dossier plugin d&#039;eclipse&lt;br /&gt;
&lt;br /&gt;
===Création d&#039;un projet java card sous eclipse===&lt;br /&gt;
&lt;br /&gt;
*file -&amp;gt; new -&amp;gt; other -&amp;gt; Javacard -&amp;gt; javacard project&lt;br /&gt;
*clique droit sur le projet -&amp;gt; new -&amp;gt; other -&amp;gt; javacard applet&lt;br /&gt;
*clique droit sur le package -&amp;gt; java card tools -&amp;gt; set package AID&lt;br /&gt;
&lt;br /&gt;
===Conception===&lt;br /&gt;
&lt;br /&gt;
[[File:DiagrammeJC.png]]&lt;br /&gt;
&lt;br /&gt;
*L&#039;issuer peut administrer la carte, une fois que celle-ci c&#039;est authentifié, en lui ajoutant, supprimant des clés ou en réinitialisant son trousseau&lt;br /&gt;
*La java card applet est l&#039;applet permettant de stocker les clés&lt;br /&gt;
*La serrure après authentification de la carte, lui demande de fournir la clé lui correspondant. Une fois que la serrure obtient la clé elle vérifie la période de validité de celle-ci.&lt;br /&gt;
&lt;br /&gt;
==Lecture==&lt;br /&gt;
Introduction à la Sécurité&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#secu &lt;br /&gt;
JCE (Java Cryptography Extension)&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/jce.pdf&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/tpjce.zip&lt;br /&gt;
Cartes à microprocesseur&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#smartcard&lt;br /&gt;
API [[Javax.smartcardio|javax.smartcardio]] (avec des lecteurs [[PCSC]])&lt;br /&gt;
&lt;br /&gt;
API [[Java Security]]&lt;br /&gt;
&lt;br /&gt;
Bruce Schneier, Applied Cryptography, Second Edition (en francais Éditeur : Vuibert, 2001, ISBN: 2711786765) [http://www.schneier.com/book-applied.html site], [http://www.schneier.com/book-applied-source.html code source]&lt;br /&gt;
&lt;br /&gt;
==Liens==&lt;br /&gt;
* [http://www.linuxnet.com/musclecard/index.html MuscleCard]&lt;br /&gt;
* [OpenID]&lt;br /&gt;
** [http://portal.acm.org/citation.cfm?id=1834217.1834318 OpenID Card]&lt;br /&gt;
** http://code.sxip.com/openidcards&lt;br /&gt;
&lt;br /&gt;
==Equipe==&lt;br /&gt;
* Matthieu Godet (chef de projet)&lt;br /&gt;
* Etienne Gosset&lt;/div&gt;</summary>
		<author><name>GodetMatthieu</name></author>
	</entry>
	<entry>
		<id>https://air.imag.fr/index.php?title=File:DiagrammeJC.png&amp;diff=2062</id>
		<title>File:DiagrammeJC.png</title>
		<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php?title=File:DiagrammeJC.png&amp;diff=2062"/>
		<updated>2011-04-15T14:22:04Z</updated>

		<summary type="html">&lt;p&gt;GodetMatthieu: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>GodetMatthieu</name></author>
	</entry>
	<entry>
		<id>https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2061</id>
		<title>Contrôle d&#039;Accès Contactless JavaCard</title>
		<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2061"/>
		<updated>2011-04-15T13:57:54Z</updated>

		<summary type="html">&lt;p&gt;GodetMatthieu: /* Détail */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;* UE/Module: Projet M2M M2PGI&lt;br /&gt;
* Enseignants: Didier Donsez&lt;br /&gt;
* Etudiants M2PGI: Matthieu Godet (chef de projet), Etienne Gosset.&lt;br /&gt;
&lt;br /&gt;
==Description==&lt;br /&gt;
Le projet &#039;&#039;&#039;Contrôle d’accès Javacard contacless (NFC)&#039;&#039;&#039; est un service de contrôle d&#039;accès et de pointage dans des batiments. Ce système utilise des cartes à puce [[JavaCard]] ou [[BasicCard]] sans contact ([[ISO14443]]) ou avec contact ([[ISO7816]]), des étiquettes [[NFC]] ou bien des [[iButtons]]. Chaque carte contient un trousseau de clés confiées à un porteur. Une clé autorise l&#039;ouverture (ou la sortie) d&#039;un point d&#039;accès (porte, tourniquet, ...) à des dates ou périodes définies. Chaque clé est signée (digitalement) par le gestionnaire du batiment permettant une vérification &#039;&#039;offline&#039;&#039;.A la présentation de la carte, la serrure interroge la carte pour lui demander la (ou les) clés qui la concerne, vérifie la signature digitale de la clé, et déclenche l&#039;ouverture de la porte (par exemple, alimentation électrique de la gâche électrique, ...) si la date courante est dans la période autorisée définie pour la clé.&lt;br /&gt;
&lt;br /&gt;
Le système devra supporte les attaques suivantes:&lt;br /&gt;
* rejeu (replay) d&#039;un échange contre la serrure  ([http://fr.wikipedia.org/wiki/Attaque_de_l%27homme_du_milieu &#039;&#039;Man in the Middle&#039;&#039;]).&lt;br /&gt;
* confidentialité : la serrure ne peut interroger que les clés qui la concerne. &lt;br /&gt;
* autres à définir&lt;br /&gt;
&lt;br /&gt;
==Equipement==&lt;br /&gt;
* Lecteurs ASK et GCR410&lt;br /&gt;
* [[JavaCard]] contact et contactless &lt;br /&gt;
* [[BasicCard]] contact et contactless&lt;br /&gt;
&lt;br /&gt;
==Détail==&lt;br /&gt;
&lt;br /&gt;
===Environnement de développement===&lt;br /&gt;
&lt;br /&gt;
*[http://www.oracle.com/technetwork/java/javacard/downloads/index.html Java Card Development kit 2.2.2] (librairies pour developper une application javacard et pour un client + outils de simulation de carte)&lt;br /&gt;
*Eclipse&lt;br /&gt;
*[http://sourceforge.net/projects/eclipse-jcde/ plugin d&#039;integration eclipse-JCDE-0.1]&lt;br /&gt;
&lt;br /&gt;
===Installation===&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Java Card Development kit 2.2.2&#039;&#039;&#039;&lt;br /&gt;
* ajouter la variable d&#039;environnement JC_HOME et l&#039;ajouter au path.&lt;br /&gt;
* Attention! si vous etes sous windows, que vous voulez utiliser l&#039;outil apdutool, et que votre JAVA_HOME ou JC_HOME contient des espaces il faut modifier le script Apdutool.bat -&amp;gt; remplacer %JAVA(JC)_HOME% par &amp;quot;c:...&amp;quot;&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Plugin eclipse&#039;&#039;&#039;&lt;br /&gt;
*désarchiver l&#039;archive et placer le contenu du dossier plugin dans le dossier plugin d&#039;eclipse&lt;br /&gt;
&lt;br /&gt;
===Création d&#039;un projet java card sous eclipse===&lt;br /&gt;
&lt;br /&gt;
*file-&amp;gt;new-&amp;gt;other-&amp;gt;Javacard-&amp;gt;javacard project&lt;br /&gt;
*clique droit sur le projet -&amp;gt; new -&amp;gt; other -&amp;gt; javacard applet&lt;br /&gt;
*clique droit sur le package -&amp;gt; java card tools -&amp;gt; set package AID&lt;br /&gt;
&lt;br /&gt;
==Lecture==&lt;br /&gt;
Introduction à la Sécurité&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#secu &lt;br /&gt;
JCE (Java Cryptography Extension)&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/jce.pdf&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/tpjce.zip&lt;br /&gt;
Cartes à microprocesseur&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#smartcard&lt;br /&gt;
API [[Javax.smartcardio|javax.smartcardio]] (avec des lecteurs [[PCSC]])&lt;br /&gt;
&lt;br /&gt;
API [[Java Security]]&lt;br /&gt;
&lt;br /&gt;
Bruce Schneier, Applied Cryptography, Second Edition (en francais Éditeur : Vuibert, 2001, ISBN: 2711786765) [http://www.schneier.com/book-applied.html site], [http://www.schneier.com/book-applied-source.html code source]&lt;br /&gt;
&lt;br /&gt;
==Liens==&lt;br /&gt;
* [http://www.linuxnet.com/musclecard/index.html MuscleCard]&lt;br /&gt;
* [OpenID]&lt;br /&gt;
** [http://portal.acm.org/citation.cfm?id=1834217.1834318 OpenID Card]&lt;br /&gt;
** http://code.sxip.com/openidcards&lt;br /&gt;
&lt;br /&gt;
==Equipe==&lt;br /&gt;
* Matthieu Godet (chef de projet)&lt;br /&gt;
* Etienne Gosset&lt;/div&gt;</summary>
		<author><name>GodetMatthieu</name></author>
	</entry>
	<entry>
		<id>https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2060</id>
		<title>Contrôle d&#039;Accès Contactless JavaCard</title>
		<link rel="alternate" type="text/html" href="https://air.imag.fr/index.php?title=Contr%C3%B4le_d%27Acc%C3%A8s_Contactless_JavaCard&amp;diff=2060"/>
		<updated>2011-04-15T13:57:16Z</updated>

		<summary type="html">&lt;p&gt;GodetMatthieu: /* Détail */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;* UE/Module: Projet M2M M2PGI&lt;br /&gt;
* Enseignants: Didier Donsez&lt;br /&gt;
* Etudiants M2PGI: Matthieu Godet (chef de projet), Etienne Gosset.&lt;br /&gt;
&lt;br /&gt;
==Description==&lt;br /&gt;
Le projet &#039;&#039;&#039;Contrôle d’accès Javacard contacless (NFC)&#039;&#039;&#039; est un service de contrôle d&#039;accès et de pointage dans des batiments. Ce système utilise des cartes à puce [[JavaCard]] ou [[BasicCard]] sans contact ([[ISO14443]]) ou avec contact ([[ISO7816]]), des étiquettes [[NFC]] ou bien des [[iButtons]]. Chaque carte contient un trousseau de clés confiées à un porteur. Une clé autorise l&#039;ouverture (ou la sortie) d&#039;un point d&#039;accès (porte, tourniquet, ...) à des dates ou périodes définies. Chaque clé est signée (digitalement) par le gestionnaire du batiment permettant une vérification &#039;&#039;offline&#039;&#039;.A la présentation de la carte, la serrure interroge la carte pour lui demander la (ou les) clés qui la concerne, vérifie la signature digitale de la clé, et déclenche l&#039;ouverture de la porte (par exemple, alimentation électrique de la gâche électrique, ...) si la date courante est dans la période autorisée définie pour la clé.&lt;br /&gt;
&lt;br /&gt;
Le système devra supporte les attaques suivantes:&lt;br /&gt;
* rejeu (replay) d&#039;un échange contre la serrure  ([http://fr.wikipedia.org/wiki/Attaque_de_l%27homme_du_milieu &#039;&#039;Man in the Middle&#039;&#039;]).&lt;br /&gt;
* confidentialité : la serrure ne peut interroger que les clés qui la concerne. &lt;br /&gt;
* autres à définir&lt;br /&gt;
&lt;br /&gt;
==Equipement==&lt;br /&gt;
* Lecteurs ASK et GCR410&lt;br /&gt;
* [[JavaCard]] contact et contactless &lt;br /&gt;
* [[BasicCard]] contact et contactless&lt;br /&gt;
&lt;br /&gt;
==Détail==&lt;br /&gt;
&lt;br /&gt;
===Environnement de développement===&lt;br /&gt;
&lt;br /&gt;
[http://www.oracle.com/technetwork/java/javacard/downloads/index.html Java Card Development kit 2.2.2] (librairies pour developper une application javacard et pour un client + outils de simulation de carte)&lt;br /&gt;
eclipse&lt;br /&gt;
[http://sourceforge.net/projects/eclipse-jcde/ plugin d&#039;integration eclipse-JCDE-0.1]&lt;br /&gt;
&lt;br /&gt;
===Installation===&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Java Card Development kit 2.2.2&#039;&#039;&#039;&lt;br /&gt;
* ajouter la variable d&#039;environnement JC_HOME et l&#039;ajouter au path.&lt;br /&gt;
* Attention! si vous etes sous windows, que vous voulez utiliser l&#039;outil apdutool, et que votre JAVA_HOME ou JC_HOME contient des espaces il faut modifier le script Apdutool.bat -&amp;gt; remplacer %JAVA(JC)_HOME% par &amp;quot;c:...&amp;quot;&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Plugin eclipse&#039;&#039;&#039;&lt;br /&gt;
*désarchiver l&#039;archive et placer le contenu du dossier plugin dans le dossier plugin d&#039;eclipse&lt;br /&gt;
&lt;br /&gt;
===Création d&#039;un projet java card sous eclipse===&lt;br /&gt;
&lt;br /&gt;
*file-&amp;gt;new-&amp;gt;other-&amp;gt;Javacard-&amp;gt;javacard project&lt;br /&gt;
*clique droit sur le projet -&amp;gt; new -&amp;gt; other -&amp;gt; javacard applet&lt;br /&gt;
*clique droit sur le package -&amp;gt; java card tools -&amp;gt; set package AID&lt;br /&gt;
&lt;br /&gt;
==Lecture==&lt;br /&gt;
Introduction à la Sécurité&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#secu &lt;br /&gt;
JCE (Java Cryptography Extension)&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/jce.pdf&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/tpjce.zip&lt;br /&gt;
Cartes à microprocesseur&lt;br /&gt;
* http://membres-liglab.imag.fr/donsez/cours/#smartcard&lt;br /&gt;
API [[Javax.smartcardio|javax.smartcardio]] (avec des lecteurs [[PCSC]])&lt;br /&gt;
&lt;br /&gt;
API [[Java Security]]&lt;br /&gt;
&lt;br /&gt;
Bruce Schneier, Applied Cryptography, Second Edition (en francais Éditeur : Vuibert, 2001, ISBN: 2711786765) [http://www.schneier.com/book-applied.html site], [http://www.schneier.com/book-applied-source.html code source]&lt;br /&gt;
&lt;br /&gt;
==Liens==&lt;br /&gt;
* [http://www.linuxnet.com/musclecard/index.html MuscleCard]&lt;br /&gt;
* [OpenID]&lt;br /&gt;
** [http://portal.acm.org/citation.cfm?id=1834217.1834318 OpenID Card]&lt;br /&gt;
** http://code.sxip.com/openidcards&lt;br /&gt;
&lt;br /&gt;
==Equipe==&lt;br /&gt;
* Matthieu Godet (chef de projet)&lt;br /&gt;
* Etienne Gosset&lt;/div&gt;</summary>
		<author><name>GodetMatthieu</name></author>
	</entry>
</feed>