The TACO protocol processor simulation environment.
Seppo VirtanenJohan LiliusPublished in: CODES (2001)
Keyphrases
- simulation environment
- simulation model
- simulation tool
- high speed
- cryptographic protocols
- simulation tools
- parallel processing
- coloured petri nets
- formal analysis
- communication protocol
- virtual space
- lightweight
- instruction set
- authentication protocol
- tcp ip
- parallel processors
- digital libraries
- distributed memory
- human computer interaction
- low cost