Trivializing Verification of Cryptographic Protocols
One of the main problems of the digital world is information security. Every second, people process millions of pieces of information that must be protected from unauthorized access. Cryptographic protocols that define the communication plan and the cryptographic techniques used to secure the messa...
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Artigo |
| Kieli: | Inglês |
| Julkaistu: |
Institute of Fundamental Technological Research Polish Academy of Sciences
2023-01-01
|
| Sarja: | Computer Assisted Methods in Engineering and Science |
| Aiheet: | |
| Linkit: | https://cames.ippt.pan.pl/index.php/cames/article/view/869 |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|