Zobrazeno 1 - 10
of 20 326
pro vyhledávání: '"cryptographic protocol"'
Cryptographic protocols play a fundamental role in securing modern digital infrastructure, but they are often deployed without prior formal verification. This could lead to the adoption of distributed systems vulnerable to attack vectors. Formal veri
Externí odkaz:
http://arxiv.org/abs/2411.13627
Autor:
Jain, Rashi, Adhikari, Satyabrata
Publikováno v:
Eur. Phys. J. D 78, 145 (2024)
In a realistic situation, it is very difficult to communicate securely between two distant parties without introducing any disturbances. These disturbances might occur either due to external noise or may be due to the interference of an eavesdropper
Externí odkaz:
http://arxiv.org/abs/2405.17046
Autor:
Ling Dong, Kefei Chen
'Cryptographic Protocol: Security Analysis Based on Trusted Freshness'mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Computers and Chemical Engineering August 2023 176
Autor:
Metere, Roberto, Arnaboldi, Luca
Security of cryptographic protocols can be analysed by creating a model in a formal language and verifying the model in a tool. All such tools focus on the last part of the analysis, verification, and the interpretation of the specification is only e
Externí odkaz:
http://arxiv.org/abs/2105.09150
Internet of Things (IoT) consists of a large number of devices connected through a network, which exchange a high volume of data, thereby posing new security, privacy, and trust issues. One way to address these issues is ensuring data confidentiality
Externí odkaz:
http://arxiv.org/abs/2103.11363
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.