A System to Verify Network Behavior of Known Cryptographic Clients.
Andrew ChiRobert A. CochranMarie NesfieldMichael K. ReiterCynthia SturtonPublished in: NSDI (2017)
Keyphrases
- central server
- computer networks
- communication patterns
- network traffic
- communication networks
- distributed network
- network structure
- human behavior
- network model
- peer to peer
- intrusion detection system
- smart card
- multi agent
- network management
- network design
- network resources
- network topologies
- mobile robot
- multi agent systems