L’invention vise à proposer un procédé de contrôle d’accès qui satisfait au moins l’un des souhaits précédents. Elle a donc pour objet un procédé de contrôle d’accès à des bâtiments, ce procédé comportant : - la fourniture de plusieurs serrures électroniques déplaçables chacune entre : - un état verrouillé dans lequel elle interdit l'accès au bâtiment, et - un état déverrouillé dans lequel elle autorise l'accès au bâtiment, chaque serrure électronique comportant un microprocesseur et une mémoire contenant une clé unique de serrure différente de toutes les clés uniques de serrure des autres serrures électroniques, et - la fourniture de plusieurs terminaux mobiles d'ouverture, chacun de ces terminaux mobiles comportant un microprocesseur et une mémoire contenant un identifiant de terminal qui identifie de façon unique ce terminal mobile parmi l'ensemble des terminaux mobiles fournis, - la programmation d'au moins un premier des terminaux mobiles fournis pour l'autoriser à déplacer une première des serrures électroniques fournies dans son état déverrouillé, cette programmation comportant l'enregistrement, dans la mémoire de ce premier terminal mobile, d'un premier cryptogramme construit à partir de l'identifiant de ce premier terminal mobile et en mettant en œuvre un algorithme de chiffrement prédéterminé paramétré par la clé unique de la première serrure électronique, la clé unique de la première serrure électronique n'étant pas enregistrée dans la mémoire de ce premier terminal mobile de sorte qu'il n'est pas possible de construire le premier cryptogramme seulement à partir des informations contenues dans la mémoire de ce premier terminal mobile, dans lequel le procédé comporte les étapes suivantes à chaque fois que le premier terminal mobile souhaite déplacer la première serrure électronique dans son état déverrouillé : 1) le premier terminal mobile et la première serrure électronique échangent un nombre, appelé "nonce", de sorte que ce nonce est connu à la fois du premier terminal mobile et de la première serrure électronique, ce nonce variant à chaque fois que le premier terminal mobile souhaite déplacer la première serrure électronique dans son état déverrouillé, 2) le premier terminal mobile construit une première signature numérique à partir de premières données et en mettant en œuvre un algorithme de chiffrement prédéterminé paramétré par une clé de chiffrement dérivée du premier cryptogramme contenu dans la mémoire de ce premier terminal mobile, ces premières données contenant au moins le nonce échangé avec la première serrure électronique, puis 3) le premier terminal mobile transmet à la première serrure électronique une première trame d'informations, cette première trame d'informations comportant son identifiant de terminal et la première signature numérique construite, puis 4) en réponse, la première serrure électronique construit un deuxième cryptogramme à partir de l'identifiant de terminal contenu dans la première trame d'informations et en mettant en œuvre le même algorithme de chiffrement prédéterminé que celui mis en œuvre pour construire le premier cryptogramme paramétré par la clé unique contenue dans la mémoire de la première serrure électronique, puis 5) la première serrure électronique vérifie, en utilisant le nonce échangé et la première signature numérique reçue, que le deuxième cryptogramme construit est identique au premier cryptogramme utilisé pour construire la première signature numérique contenue dans la première trame d'informations et dans le cas où le deuxième cryptogramme est différent du premier cryptogramme, le déplacement de la serrure électronique depuis son état verrouillé vers son état déverrouillé est systématiquement interdit.