Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method
Journal of Computer Networks and Communications - Egypt
doi 10.1155/2012/254942
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2012
Authors
Publisher
Hindawi Limited