Journals
Publish with us
Publishing partnerships
About us
Blog
Journal of Computer Networks and Communications
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Journal of Computer Networks and Communications
/
2012
/
Article
/
Fig 2
/
Research Article
Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method
Figure 2
Protocol verification process.
