Packet Sampling (PSAMP) Protocol Specifications.
Benoit ClaiseAndrew JohnsonJürgen QuittekPublished in: RFC (2009)
Keyphrases
- network devices
- packet filtering
- protocol specification
- application layer
- switched networks
- lightweight
- model checker
- state machines
- network layer
- node density
- network congestion
- smart card
- mac layer
- packet loss
- tcp ip
- high level
- communication protocols
- ip address
- operational semantics
- monte carlo
- mac protocol
- internet protocol
- formal methods
- wireless sensor networks
- packet delivery
- medium access
- model checking
- ad hoc networks
- network security
- formal verification
- sampling methods
- sampling algorithm