Détail de l'auteur
Auteur Pascal (1977-....) Lafourcade |
Documents disponibles écrits par cet auteur (3)



Titre : Architectures de sécurité pour Internet : protocoles, standards et déploiement Type de document : texte imprimé Auteurs : Jean-Guillaume (1975-....) Dumas, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Patrick (19..-.... ; expert en cybersécurité) Redon, Auteur ; Guillaume Poupard, Préfacier, etc. Mention d'édition : 2e édition Editeur : Paris ; Malakoff : Dunod Année de publication : 2020 Collection : Info Sup Importance : XII, 417 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-080970-7 Note générale : Étudiants de master (mathématiques appliquées, informatique), élèves-ingénieurs, enseignants-chercheurs et ingénieurs en sécurité informatique
Bibliogr. p. [395]-404. - Notes webogr. - Index. - Liste des figures et abréviations utilisésLangues : Français (fre) Mots-clés : Systèmes informatiques -- Mesures de sûreté
Protocoles de réseaux d'ordinateursIndex. décimale : 004.056 Sécurité Résumé : Cet ouvrage s'adresse aux étudiants de master (mathématiques appliquées, informatique), aux élèves-ingénieurs, aux enseignants-chercheurs et ingénieurs en sécurité numérique. Son objectif est de fournir une approche compréhensible des techniques, technologies et enjeux liés aux infrastructures de gestion de clefs publiques (PKI, Public Key Infrastructure). L'originalité de cet ouvrage est de présenter les principes mathématiques et informatiques qui fondent les PKI, mais aussi de donner une approche pratique de leur déploiement : il présente le reglement général sur la protection des données personnelles (RGPD), les dernières recommandations nationales (RGS) et européennes (e-IDAS) ainsi que de nombreuses applications, comme TLS 1.3, TOR, DNSSeC, la gestion de la sécurité des navigateurs Internet et des systèmes d'exploitation ou encore de la monnaie électronique Bitcoin.
L'accent est mis sur une présentation détaillée et approfondie, alliant fondements théoriques, protocoles cryptographiques en vigueur et standards les plus récents. Cet ouvrage comporte également près de 60 exercices corrigés originaux.Note de contenu : Au sommaire :
1. Motivations pour une architecture asymétrique
2. Éléments essentiels
3. Architectures PKI
4. Architecture hiérarchique simple : PKIX
5. Architecture hiérarchique maillée et certifications croisées
6. Extensions de la confiance dans les infrastructures embarquées
7. Architecture pair-à-pair : PGP
8. Architectures distribuées ou reposant sur l'identité
9. Cadre réglementaire des services et politique de certification
10. Déploiement d'infrastructures de sécurité
11. Authentification par PKI et échange de clefs
12. Protocoles de communications sécurisées
13. Évaluation de la sécuritéArchitectures de sécurité pour Internet : protocoles, standards et déploiement [texte imprimé] / Jean-Guillaume (1975-....) Dumas, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Patrick (19..-.... ; expert en cybersécurité) Redon, Auteur ; Guillaume Poupard, Préfacier, etc. . - 2e édition . - Paris ; Malakoff : Dunod, 2020 . - XII, 417 p. : ill. ; 24 cm. - (Info Sup) .
ISBN : 978-2-10-080970-7
Étudiants de master (mathématiques appliquées, informatique), élèves-ingénieurs, enseignants-chercheurs et ingénieurs en sécurité informatique
Bibliogr. p. [395]-404. - Notes webogr. - Index. - Liste des figures et abréviations utilisés
Langues : Français (fre)
Mots-clés : Systèmes informatiques -- Mesures de sûreté
Protocoles de réseaux d'ordinateursIndex. décimale : 004.056 Sécurité Résumé : Cet ouvrage s'adresse aux étudiants de master (mathématiques appliquées, informatique), aux élèves-ingénieurs, aux enseignants-chercheurs et ingénieurs en sécurité numérique. Son objectif est de fournir une approche compréhensible des techniques, technologies et enjeux liés aux infrastructures de gestion de clefs publiques (PKI, Public Key Infrastructure). L'originalité de cet ouvrage est de présenter les principes mathématiques et informatiques qui fondent les PKI, mais aussi de donner une approche pratique de leur déploiement : il présente le reglement général sur la protection des données personnelles (RGPD), les dernières recommandations nationales (RGS) et européennes (e-IDAS) ainsi que de nombreuses applications, comme TLS 1.3, TOR, DNSSeC, la gestion de la sécurité des navigateurs Internet et des systèmes d'exploitation ou encore de la monnaie électronique Bitcoin.
L'accent est mis sur une présentation détaillée et approfondie, alliant fondements théoriques, protocoles cryptographiques en vigueur et standards les plus récents. Cet ouvrage comporte également près de 60 exercices corrigés originaux.Note de contenu : Au sommaire :
1. Motivations pour une architecture asymétrique
2. Éléments essentiels
3. Architectures PKI
4. Architecture hiérarchique simple : PKIX
5. Architecture hiérarchique maillée et certifications croisées
6. Extensions de la confiance dans les infrastructures embarquées
7. Architecture pair-à-pair : PGP
8. Architectures distribuées ou reposant sur l'identité
9. Cadre réglementaire des services et politique de certification
10. Déploiement d'infrastructures de sécurité
11. Authentification par PKI et échange de clefs
12. Protocoles de communications sécurisées
13. Évaluation de la sécuritéRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 058846 004.056 DUM Papier Bibliothèque Centrale Informatique Disponible En bon état 058847 004.056 DUM Papier Bibliothèque Centrale Informatique Disponible Consultation sur place
Titre : Les blockchains en 50 questions : comprendre le fonctionnement et les enjeux de cette technologie innovante Type de document : texte imprimé Auteurs : Jean-Guillaume (1975-....) Dumas, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Ariane Tichit, Auteur ; Sébastien Varrette, Auteur Editeur : Paris ; Malakoff : Dunod Année de publication : 2018 Importance : VIII, 287 p. Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-10-077924-6 Note générale : Bibliogr. p. 275-278. - Index Langues : Français (fre) Mots-clés : Blockchains -- Questions et réponses
Cryptomonnaie -- Questions et réponses
Économie numérique -- Questions et réponsesIndex. décimale : 004.78 Systèmes de réseau pour usage spécifique Résumé :
Une blockchain (chaîne de blocs) est une application informatique qui utilise des techniques cryptographiques permettant à des entités de réaliser entre elles des opérations sans l'intervention d'un tiers de confiance (banques, notaires...). Les blockchains se répandent dans l'économie sous forme par exemple de nouvelles monnaies (bitcoins, ether...), mais aussi de contrats ou de certifications dans les assurances, dans les affaires (smart contracte), dans le droit...Ces technologies de rupture ne sont pas simples à comprendre que ce soit dans leur fonctionnement informatique (horodatage et immutabilité des blocs) ou dans leurs conséquences pour l'utilisateur (valeur de la preuve, recours possibles...). La meilleure façon d'aborder ce sujet complexe est de répondre point par point aux multiples questions que les utilisateurs potentiels se pose.Note de contenu : Au sommaire :
1. Blockchaines et technologies de registres distribués.
2. Un exemple concret : le bitcoin.
3. Blockchaines et cryptomonnaies.
4. Utilisations alternatives des blockchains.Les blockchains en 50 questions : comprendre le fonctionnement et les enjeux de cette technologie innovante [texte imprimé] / Jean-Guillaume (1975-....) Dumas, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Ariane Tichit, Auteur ; Sébastien Varrette, Auteur . - Paris ; Malakoff : Dunod, 2018 . - VIII, 287 p. : ill. ; 21 cm.
ISBN : 978-2-10-077924-6
Bibliogr. p. 275-278. - Index
Langues : Français (fre)
Mots-clés : Blockchains -- Questions et réponses
Cryptomonnaie -- Questions et réponses
Économie numérique -- Questions et réponsesIndex. décimale : 004.78 Systèmes de réseau pour usage spécifique Résumé :
Une blockchain (chaîne de blocs) est une application informatique qui utilise des techniques cryptographiques permettant à des entités de réaliser entre elles des opérations sans l'intervention d'un tiers de confiance (banques, notaires...). Les blockchains se répandent dans l'économie sous forme par exemple de nouvelles monnaies (bitcoins, ether...), mais aussi de contrats ou de certifications dans les assurances, dans les affaires (smart contracte), dans le droit...Ces technologies de rupture ne sont pas simples à comprendre que ce soit dans leur fonctionnement informatique (horodatage et immutabilité des blocs) ou dans leurs conséquences pour l'utilisateur (valeur de la preuve, recours possibles...). La meilleure façon d'aborder ce sujet complexe est de répondre point par point aux multiples questions que les utilisateurs potentiels se pose.Note de contenu : Au sommaire :
1. Blockchaines et technologies de registres distribués.
2. Un exemple concret : le bitcoin.
3. Blockchaines et cryptomonnaies.
4. Utilisations alternatives des blockchains.Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 058018 004.78 BLO Papier Bibliothèque Centrale Informatique Disponible En bon état 058019 004.78 BLO Papier Bibliothèque Centrale Informatique Disponible Consultation sur place
Titre de série : Informatique théorique Titre : Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre Type de document : texte imprimé Auteurs : Stéphane Devismes, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Michel Lévy, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup Importance : 209 p. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Note générale : Bibliogr. p.205. - Index Langues : Français (fre) Mots-clés : Logique du premier ordre -- Manuels d'enseignement supérieur
Calcul des propositions -- Manuels d'enseignement supérieur
Boole, Algèbre de -- Manuels d'enseignement supérieur
Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur
Algorithmes -- Manuels d'enseignement supérieurIndex. décimale : 510.6 Logique mathématique Résumé : Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués. Note de contenu : Au sommaire:
I. Logique propositionnelle
1. Logique propositionnelle
2. Résolution propositionnelle
3. Déduction Naturelle
II. Logique du premier ordre
4. Logique du premier ordre
5. Base de la démonstration automatique
6. Déduction naturelle au premier ordre : quantificateurs,
III. copie et égalitéInformatique théorique. Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Stéphane Devismes, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Michel Lévy, Auteur . - Paris : Ellipses, 2012 . - 209 p. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-7229-8
Bibliogr. p.205. - Index
Langues : Français (fre)
Mots-clés : Logique du premier ordre -- Manuels d'enseignement supérieur
Calcul des propositions -- Manuels d'enseignement supérieur
Boole, Algèbre de -- Manuels d'enseignement supérieur
Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur
Algorithmes -- Manuels d'enseignement supérieurIndex. décimale : 510.6 Logique mathématique Résumé : Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués. Note de contenu : Au sommaire:
I. Logique propositionnelle
1. Logique propositionnelle
2. Résolution propositionnelle
3. Déduction Naturelle
II. Logique du premier ordre
4. Logique du premier ordre
5. Base de la démonstration automatique
6. Déduction naturelle au premier ordre : quantificateurs,
III. copie et égalitéRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 054908 510.6 DEV Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 054907 510.6 DEV Papier Bibliothèque Centrale Informatique Disponible En bon état