Formal Validation of a Security Mechanism against the RSU Compromise Attack.
Ons ChikhaouiRyma AbassiAida Ben Chehida DoussSihem Guemara El FatmiPublished in: ARES (2021)
Keyphrases
- security mechanisms
- security measures
- resource constrained
- access control
- smart card
- security systems
- security issues
- security threats
- security protocols
- cyber attacks
- operating system
- security requirements
- countermeasures
- secret key
- authentication protocol
- sensor networks
- real time
- resource constraints
- wireless networks
- rfid systems
- data analysis
- multi agent systems