Listing 1 - 10 of 15 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Geometry, Projective --- Géometrie projective --- Mathématiques --- Géometrie --- Étude et enseignement --- Étude et enseignement --- Géometrie --- Étude et enseignement
Choose an application
Choose an application
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.
Engineering & Applied Sciences --- Computer Science --- Computer science. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer science --- Computer Science. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Software Engineering. --- Discrete Mathematics in Computer Science. --- Mathematics of Computing. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Informatics --- Science --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Algebra --- Computational complexity. --- Data processing. --- Complexity, Computational --- Computer science—Mathematics. --- Machine theory. --- Discrete mathematics. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics
Choose an application
Choose an application
Choose an application
Quels sont les enjeux de la cryptographie moderne ? Quels sont ses objets, son langage ? Quelles sont les solutions actuelles aux problèmes de confidentialité, d'authentification et d'anonymat ? Quel degré de confiance peut-on accorder à ces solutions ?Cette seconde édition, enrichie et mise à jour, propose un panorama des outils et procédés de la cryptographie.Après avoir présenté et analysé les méthodes, cet ouvrage offre une description précise des techniques mathématiques indispensables et des principales primitives cryptographiques.Les fonctionnalités de base comme le chiffrement, la signature ou l'authentification, sont étudiées dans le cadre de la cryptographie à clé publique ou secrète. Cryptographie analyse également l'interaction entre ces notions ainsi que leurs mises en oeuvre dans des protocoles généraux et dans des applications concrètes. Il s'intéresse aux attaques contre les systèmes cryptographiques y compris celles par canaux cachés et par injection de fautes. Il aborde le domaine désormais indispensable des preuves de sécurité.
Choose an application
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.
Mathematical logic --- Logic --- Algebra --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- algebra --- complexiteit --- discrete wiskunde --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- wiskunde --- software engineering --- logica --- computerkunde
Choose an application
Listing 1 - 10 of 15 | << page >> |
Sort by
|