PLURAL: checking protocol compliance under aliasing.
Kevin BierhoffJonathan AldrichPublished in: ICSE Companion (2008)
Keyphrases
- high frequency
- lightweight
- formal analysis
- cryptographic protocols
- communication protocol
- high resolution
- network protocols
- light field
- authentication protocol
- coloured petri nets
- file transfer
- spatial resolution
- high quality
- feature extraction
- consistency checking
- neural network
- application layer
- key distribution
- low pass filtering
- frequency domain