Formal Verification of Cryptographic Protocols
Luca DurantePolytechnic University of Turin
2009en
Ochiq kirish: yoʻq
ABI
Annotatsiya
Annotatsiya mavjud emas.
Mavzular
Iqtiboslar va manbalar
0 ta iqtibos35 ta foydalanilgan manba
Kashfiyot
Xizmatlar
Ishlab chiquvchilar uchun
Ochiq kirish: yoʻq
Annotatsiya mavjud emas.