Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Gaining trust by tracing security protocols | Researchclopedia

Back to research

Gaining trust by tracing security protocols

20221 citationsJournal Article

Authors

Lars‐Åke Fredlund · Universidad Politécnica de Madrid

Clara Benac Earle · Universidad Politécnica de Madrid

Thomas Arts · Quviq (Sweden)

H. Svensson · Quviq (Sweden)

Topics & Keywords

Security and Verification in Computing Advanced Malware Detection Techniques User Authentication and Security Systems

Publication Details

Published in: Journal of Logical and Algebraic Methods in Programming

Volume 130, pp. 100829-100829

DOI: 10.1016/j.jlamp.2022.100829

Field-Weighted Citation Impact: 0.14