Protocole cryptographiqueUn protocole de sécurité (protocole cryptographique ou protocole de chiffrement) est un protocole abstrait ou concret qui remplit une fonction liée à la sécurité et applique des méthodes cryptographiques, souvent sous forme de séquences de primitives cryptographiques. Un protocole décrit comment les algorithmes doivent être utilisés et inclut des détails sur les structures de données et les représentations, à quel point il peut être utilisé pour implémenter plusieurs versions interopérables d'un programme.
Primitive cryptographiqueUne primitive cryptographique est un algorithme cryptographique de bas niveau, bien documenté, et sur la base duquel est bâti tout système de sécurité informatique. Ces algorithmes fournissent notamment des fonctions de hachage cryptographique et de chiffrement. À la création d’un système cryptographique (ou cryptosystème), le concepteur se fonde sur des briques appelées « primitives cryptographiques ». Pour cette raison les primitives cryptographiques sont conçues pour effectuer une tâche précise et ce de la façon la plus fiable possible.
Passeportvignette|Passeport de la dynastie Qing, Chine, 1898. Un passeport est un document de circulation délivré par le gouvernement d'un État à ses citoyens, pièce d'identité permettant à son porteur de voyager à l'étranger. Toute personne sollicitant l'entrée dans un pays autre que le sien, comme touriste, étudiant ou travailleur, doit remplir certaines formalités et solliciter une autorisation. Pour franchir une frontière, le passeport est généralement requis, pouvant être couplé à un visa.
Cryptographiethumb|La machine de Lorenz utilisée par les nazis durant la Seconde Guerre mondiale pour chiffrer les communications militaires de haut niveau entre Berlin et les quartiers-généraux des différentes armées. La cryptographie est une des disciplines de la cryptologie s'attachant à protéger des messages (assurant confidentialité, authenticité et intégrité) en s'aidant souvent de secrets ou clés. Elle se distingue de la stéganographie qui fait passer inaperçu un message dans un autre message alors que la cryptographie rend un message supposément inintelligible à autre que qui de droit.
Clé de chiffrementUne clé est un paramètre utilisé en entrée d'une opération cryptographique (chiffrement, déchiffrement, scellement, signature numérique, vérification de signature). Une clé de chiffrement peut être symétrique (cryptographie symétrique) ou asymétrique (cryptographie asymétrique). Dans le premier cas, la même clé sert à chiffrer et à déchiffrer. Dans le second cas on utilise deux clés différentes, la clé publique est utilisée au chiffrement alors que celle servant au déchiffrement est gardée secrète : la clé secrète, ou clé privée, et ne peut pas se déduire de la clé publique.
Key-agreement protocolIn cryptography, a key-agreement protocol is a protocol whereby two or more parties can agree on a cryptographic key in such a way that both influence the outcome. If properly done, this precludes undesired third parties from forcing a key choice on the agreeing parties. Protocols that are useful in practice also do not reveal to any eavesdropping party what key has been agreed upon. Many key exchange systems have one party generate the key, and simply send that key to the other party—the other party has no influence on the key.
Passeport britanniqueLe passeport britannique (British passport) est un document de voyage international délivré aux ressortissants britanniques, aux sujets britanniques et aux personnes venant d'un ancien protectorat britannique. La couverture du passeport porte les armoiries royales du Royaume-Uni. La première page comporte à nouveau une représentation des armoiries ainsi que la phrase suivante en anglais : . La page d'identité (ainsi que certaines autres pages) est bilingue, en anglais et en français. centre|vignette|upright=3.
Code d'authentification de messagethumb|upright=1.8|Schéma de principe d'un code d'authentification de message Un code d'authentification de message (CAM), souvent désigné par son sigle anglais MAC (de message authentication code) est un code accompagnant des données dans le but d'assurer l'intégrité de ces dernières, en permettant de vérifier qu'elles n'ont subi aucune modification, après une transmission par exemple. Le concept est relativement semblable aux fonctions de hachage. Il s’agit ici aussi d’algorithmes qui créent un petit bloc authentificateur de taille fixe.
Passeport biométriquevignette|Symbole distinguant les passeports biométriques. Un passeport biométrique est un passeport doté d'une puce électronique qui contient des informations biométriques pouvant être utilisées pour authentifier l'identité du détenteur du passeport. Il utilise une technologie de carte à puce sans contact, une puce de microprocesseur et une antenne intégrées dans la couverture avant ou arrière, ou page centrale du passeport. Les informations critiques du passeport sont à la fois imprimées sur la page de données du passeport et stockées dans la puce électronique.
Multivariable calculusMultivariable calculus (also known as multivariate calculus) is the extension of calculus in one variable to calculus with functions of several variables: the differentiation and integration of functions involving multiple variables (multivariate), rather than just one. Multivariable calculus may be thought of as an elementary part of advanced calculus. For advanced calculus, see calculus on Euclidean space. The special case of calculus in three dimensional space is often called vector calculus.
Calcul infinitésimalLe calcul infinitésimal (ou calcul différentiel et intégral) est une branche des mathématiques, développée à partir de l'algèbre et de la géométrie, qui implique deux idées majeures complémentaires : Le calcul différentiel, qui établit une relation entre les variations de plusieurs fonctions, ainsi que la notion de dérivée. La vitesse, l'accélération, et les pentes des courbes des fonctions mathématiques en un point donné peuvent toutes être décrites sur une base symbolique commune, les taux de variation, l'optimisation et les taux liés.
Analyse vectorielleL'analyse vectorielle est une branche des mathématiques qui étudie les champs de scalaires et de vecteurs suffisamment réguliers des espaces euclidiens, c'est-à-dire les applications différentiables d'un ouvert d'un espace euclidien à valeurs respectivement dans et dans . Du point de vue du mathématicien, l'analyse vectorielle est donc une branche de la géométrie différentielle. Cette dernière inclut l'analyse tensorielle qui apporte des outils plus puissants et une analyse plus concise entre autres des champs de vecteurs.
Mac OS X v10.5Mac OS X Leopard (version 10.5) est la sixième version du système d'exploitation Mac OS X d'Apple. Il a officiellement été lancé le vendredi , à (CEST). Cette cinquième mise à jour majeure de Mac OS X est la première à être commercialisée en Universal binaries, pour être compatible tant avec les anciens Macintosh à processeur PowerPC (PPC G4, G5 à partir de ) qu'avec les nouveaux à processeur Intel (CoreDuo, Core2Duo, Xeon), et requiert au minimum de RAM pour d'espace disque.
PseudonymeUn pseudonyme est un nom d'emprunt adopté par une ou plusieurs personnes pour exercer une activité sous un autre nom que celui de son identité officielle. Il se distingue du surnom en ceci qu'il est choisi par la personne qui le porte au lieu de lui être attribué par un tiers. Son usage est fréquent dans certains milieux, tels que le milieu artistique : auteurs, acteurs, etc., ou scientifique : groupe d’auteurs (Bourbaki), confidentialité (Student), etc.
Macintoshvignette|upright=1.2|alt=Un grand ordinateur tout-en-un en aluminium, écran plat large.|Un modèle d'iMac lancé en . Macintosh (, en anglais : ) ou Mac est une série de différentes familles d'ordinateurs personnels conçus, développés et vendus par Apple. Le premier Macintosh est lancé le (il a été renommé Macintosh 128K dès le lancement du Macintosh 512K). Il constitue le premier succès commercial pour un ordinateur utilisant une souris et une interface graphique (au lieu d'une interface en ligne de commande).
MacOS SierramacOS Sierra (version 10.12) est la treizième version du système d’exploitation macOS d'Apple pour les ordinateurs Macintosh. Cette version est disponible depuis le , après avoir été présentée lors de la WWDC 2016 qui s'est tenue le de la même année. Son successeur est macOS High Sierra, qui a été rendu disponible en version finale à l'automne 2017. Le nom « macOS » remplace la précédente dénomination du système d’exploitation qui était « OS X » depuis la version 10.7 Lion, lui-même successeur de la dénomination « Mac OS X ».
Pi-calculLe Pi-calcul (ou π-calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de l'informatique parallèle et distribuée un rôle similaire à celui du λ-calcul dans l'informatique classique. En tant que langage de programmation théorique (ou langage formel), le π-calcul ne vise pas à permettre de construire des programmes exécutables.
Mac miniLe Mac mini est un ordinateur de bureau développé et produit par Apple. À l'instar des ordinateurs Mini-ITX, il est particulièrement petit pour un ordinateur de bureau (un pavé de de côté et de de haut). Il pèse ( pour les Mac mini commercialisés en ). Le Mac mini a été présenté pour la première fois à la Macworld Conference & Expo le , il a depuis été plusieurs fois mis à jour avec de nouveaux composants, le rendant ainsi de plus en plus performant.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
MacOS ServermacOS Server, anciennement Mac OS X Server puis OS X Server, est la version serveur de macOS développé par Apple. Mac OS X est basé sur NeXTSTEP (lui-même basé sur BSD-Unix) qu'Apple a acquis en rachetant NeXT. La version serveur de Mac OS X inclut des applications qui ont été prévues pour offrir aux administrateurs des outils simples mais puissants pour gérer les services liés à internet, aux courriels, à l'hébergement de sites Web et d'administration de réseaux Mac et Windows et offre des possibilités de partage de fichiers et d'imprimantes.
