Re-usable verification elements for high-speed transfer protocol configurations.
Peter HerrmannHeiko KrummPublished in: PSTV (1995)
Keyphrases
- high speed
- cryptographic protocols
- formal analysis
- low power
- protocol specification
- model checker
- lightweight
- model checking
- coloured petri nets
- communication protocol
- formal verification
- formal proof
- application layer
- digital libraries
- neural network
- security analysis
- high speed networks
- colored petri nets
- network protocols
- cross domain
- knowledge transfer