LIBROS DEL AUTOR: anupam datta

3 resultados para LIBROS DEL AUTOR: anupam datta

anupam datta Eliminar filtro Quitar filtros
  • Analysis Techniques for Information Security
    Anupam Datta / Ninghui Li / Somesh Jha
    Increasingly our critical infrastructures are reliant on computers. We see examples of such infrastructures in several domains, including medical, power, telecommunications, and finance. Although automation has advantages, increased reliance on computers exposes our critical infrastructures to a wider variety and higher likelihood of accidental failures and malicious attacks. D...
    Disponible

    54,44 €

  • Analysis Techniques for Information Security
    Anupam Datta / Ninghui Li / Somesh Jha
    Increasingly our critical infrastructures are reliant on computers. We see examples of such infrastructures in several domains, including medical, power, telecommunications, and finance. Although automation has advantages, increased reliance on computers exposes our critical infrastructures to a wider variety and higher likelihood of accidental failures and malicious attacks. D...
    Disponible

    51,10 €

  • Advances in Computer Science, Information Security and Privacy
    Anupam Datta
    'Logic Wins!'.- Higher-Order Program Verification and Language-Based Security.- Deducibility Constraints.- Automated Security Proof for Symmetric Encryption Modes.- Noninterference with Dynamic Security Domains and Policies.- A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers.- A Logic for Formal Verification of Quantum Programs.- Reducing Equational Theo...
    Disponible

    66,84 €