Formal verification and performance analysis of a data exchange protocol for connected vehicles

HIGHLIGHTS

  • who: Samir Chouali et al. from the (UNIVERSITY) have published the Article: Formal Verification and Performance Analysis of a Data Exchange Protocol for Connected Vehicles, in the Journal: (JOURNAL)
  • what: From real experience (i.e., Group PSA), this approach has not been considered for security reasons since vehicle are considered as sensitive hosts and hence the number as well as the complexity of running software have to be strictly controlled and reduced only to necessary ones. (b) The authors focus on a new variant of the MQTT protocol, the authors named MQTT-CV (MQTT for . . .

     

    Logo ScioWire Beta black

    If you want to have access to all the content you need to log in!

    Thanks :)

    If you don't have an account, you can create one here.

     

Scroll to Top

Add A Knowledge Base Question !

+ = Verify Human or Spambot ?