| 000 | 00412nam a2200145Ia 4500 | ||
|---|---|---|---|
| 100 |
_aShinde, A.H. _914436 |
||
| 700 |
_a Pillai, N.R. [Co-Guide] _914437 |
||
| 250 | _a1st Ed | ||
| 365 | _cRs. | ||
| 942 | _cD | ||
| 245 | _aFormal Specification and Verfication of Cryptographic Protocols using Pro Verif and AVISPA | ||
| 260 |
_bWalchand College of Engineering _aSangli _c2015 |
||
| 082 | _bSAT | ||
| 300 | _a133 p. | ||
| 999 |
_c57429 _d57429 |
||
| 546 | _aText in English | ||
| 041 | _aeng | ||
| 300 | _c20 cm. | ||