Работы, на которые ссылается эта работа

Работ: 35

Работа: Formal Verification of Cryptographic Protocols

1. On the security of public key protocols

   Danny Dolev, A. Yao

   Статья1983Цитирований: 2

   ABIABI:AkademIndex/openalex/2026.other.653819

2. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.653805

3. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.653806

4. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.653807

5. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.653808

6. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.653809

7. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.653810

8. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.653811

9. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.653812

10. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653813

11. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653814

12. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653815

13. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653816

14. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653817

15. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653818

16. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653820

17. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653821

18. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653822

19. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653823

20. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653824

21. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653825

22. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653826

23. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653827

24. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653828

25. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.653829