Specification-Based Protocol Obfuscation.

Julien Duchêne Eric Alata Vincent Nicomette Mohamed Kaâniche Colas Le Guernic

Published in: DSN (2018)

Keyphrases

protocol specification
state machines
control flow
formal specification
reverse engineering
state machine
coloured petri nets
lightweight
high level
authentication protocol
formal analysis
colored petri nets
formal verification
tcp ip
specification language
model checking
cryptographic protocols
network protocols