Sign in
Security and Effectiveness Analysis of the Gateway Integrity Checking Protocol.
Mateus Martínez De Lucena
Antônio Augusto Fröhlich
Published in:
IEEE Trans. Dependable Secur. Comput. (2022)
Keyphrases
</>
databases
integrity checking
database systems
integrity constraints
formal analysis
authentication protocol