• Corpus ID: 64819458

SPAN+AVISPA for Verifying Cryptographic Protocols

@inproceedings{Genet2017SPANAVISPAFV,
  title={SPAN+AVISPA for Verifying Cryptographic Protocols},
  author={Thomas Genet},
  year={2017},
  url={https://api.semanticscholar.org/CorpusID:64819458}
}
This is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properties on cryptographic protocols
No Paper Link Available
1 Citation

One Citation

Security mechanism for maritime territory and frontier surveillance in naval operations using wireless sensor networks

A node authentication mechanism for UWSNs for securing frontier lines, maritime territory, and naval surveillance is defined based on symmetric‐key cryptography and secures against impersonation, masquerade, Sybil, and many more other attacks.