Journals
Publish with us
Publishing partnerships
About us
Blog

Computational Intelligence and Neuroscience

For authors For reviewers For editors Table of Contents

Computational Intelligence and Neuroscience/
2022/
Article/
Fig 12 /

Research Article

Formal Analysis of the Security Protocol with Timestamp Using SPIN

Figure 12

Attack path of WMF protocol violating authentication.

About us
Contact us
Partnerships
Blog

Journals
Article Processing Charges
Print editions

Authors
Editors
Reviewers

Hindawi XML Corpus
Open Archives Initiative
Fraud prevention

Follow us:

Terms of Service

Responsible Disclosure Policy