Specification-Based Protocol Obfuscation.
Julien DuchêneEric AlataVincent NicometteMohamed KaânicheColas Le GuernicPublished in: CoRR (2018)
Keyphrases
- protocol specification
- control flow
- lightweight
- reverse engineering
- formal specification
- colored petri nets
- state machines
- communication protocols
- high level
- network protocols
- static analysis
- specification language
- coloured petri nets
- application layer
- formal verification
- security protocols
- formal analysis
- formal methods
- data flow
- object oriented
- conceptual model
- file transfer
- database systems