Towards formal verification of TLS network packet processing written in C.
Reynald AffeldtNicolas MartiPublished in: PLPV (2013)
Keyphrases
- formal verification
- model checking
- network model
- internet traffic
- packet switching
- bandwidth requirements
- network structure
- network traffic
- model checker
- artificial intelligence
- ip traffic
- network devices
- intermediate nodes
- network management
- peer to peer
- network layer
- communication networks
- symbolic model checking
- sensor networks
- knowledge representation
- real time
- packet filtering