Component-based protocol synthesis.
Yoshiaki KakudaYasushi WakaharaHironori SaitoPublished in: Systems and Computers in Japan (1992)
Keyphrases
- coloured petri nets
- formal analysis
- application layer
- lightweight
- cryptographic protocols
- real time
- security analysis
- authentication protocol
- artificial intelligence
- cooperative
- wireless sensor networks
- electronic commerce
- multi party
- learning algorithm
- program synthesis
- trusted third party
- file transfer
- neural network