Ushbu ish iqtibos qilgan ishlar

35 ta ish

Ish: Formal Verification of Cryptographic Protocols

1. On the security of public key protocols

   Danny Dolev, A. Yao

   Maqola19832 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.653819

2. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.653805

3. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.653806

4. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.653807

5. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.653808

6. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.653809

7. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.653810

8. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.653811

9. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.653812

10. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653813

11. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653814

12. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653815

13. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653816

14. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653817

15. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653818

16. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653820

17. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653821

18. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653822

19. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653823

20. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653824

21. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653825

22. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653826

23. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653827

24. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653828

25. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/openalex/2026.other.653829