EVSE Metrological Verification Through IEC 61851 Protocol Hacking.
Antonio Delle FemineDaniele GalloClaudio IodiceCarmine LandiMario LuisoPublished in: MetroAutomotive (2024)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- control system
- model checking
- model checker
- formal proof
- lightweight
- security analysis
- coloured petri nets
- formal verification
- interactive evolutionary computation
- face verification
- colored petri nets
- high security
- intelligence and security informatics
- communication protocols
- distributed systems
- penetration testing
- real time
- application layer
- file transfer
- security protocols