Login / Signup

Security and Effectiveness Analysis of the Gateway Integrity Checking Protocol.

Mateus Martínez De LucenaAntônio Augusto Fröhlich
Published in: IEEE Trans. Dependable Secur. Comput. (2022)
Keyphrases
  • databases
  • integrity checking
  • database systems
  • integrity constraints
  • formal analysis
  • authentication protocol