Cryptographic security architecture: design and verification

Cryptographic security architecture: design and verification

Gutmann, Peter

83,15 €(IVA inc.)

Presents a novel design that allows for a great deal of customization, which many current methods fail to include; Details a flexible, comprehensive designthat can be easily extended when necessary; Proven results: the versatility of the design has been effectively tested in implementations ranging from microcontrollers to supercomputers INDICE: * The software architecture * The security architecture * The Kernel implementation * Verification techniques * Verification of the cryptLib kernel * Random number generation * Hardware encryption modules * Conclusion * Glossary * Index

  • ISBN: 978-1-4419-2980-8
  • Editorial: Springer
  • Encuadernacion: Rústica
  • Fecha Publicación: 14/03/2012
  • Nº Volúmenes: 1
  • Idioma: Inglés