[IEEE 2012 Sixth International Symposium on...

  • Main
  • [IEEE 2012 Sixth International...

[IEEE 2012 Sixth International Symposium on Telecommunications (IST) - Tehran, Iran (2012.11.6-2012.11.8)] 6th International Symposium on Telecommunications (IST) - Automated formal analysis of NetConf protocol for authentication properties

Izadi, Farnaz, Shahhoseini, Hadi Shahriar
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2012
Language:
english
DOI:
10.1109/ISTEL.2012.6483142
File:
PDF, 994 KB
english, 2012
Conversion to is in progress
Conversion to is failed