Gaining trust by tracing security protocols
| Autor: | Fredlund, Lars-Åke, Benac Earle, Clara, Arts, Thomas, Svensson, Hans |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming January 2023 130 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Fredlund, Lars-Åke, Benac Earle, Clara, Arts, Thomas, Svensson, Hans |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming January 2023 130 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect