Asosiy kontentga oʻtish
Maqola

Formal Verification of Cryptographic Protocols

Luca DurantePolytechnic University of Turin
2009en

Ochiq kirish: yoʻq

ABI

Annotatsiya

Annotatsiya mavjud emas.

Mavzular

Iqtiboslar va manbalar