Formal Verification of Cryptographic Protocols
Luca DurantePolytechnic University of Turin
2009en
ABI
Annotatsiya
Annotatsiya mavjud emas.
Mavzular
Iqtiboslar va manbalar
0 ta iqtibos35 ta foydalanilgan manba
Koʻrsatkichlar — AkademScholar · Tez orada