Login / Signup

TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned.

Iakovos OuranosKazuhiro OgataPetros S. Stefaneas
Published in: IEICE Trans. Inf. Syst. (2014)
Keyphrases
  • lessons learned
  • verification method
  • case study
  • similarity measure
  • real time
  • data streams
  • software engineering
  • authentication protocol
  • cryptographic protocols