On Formal Techniques in Protocol Engineering - Example Challenges.
Dines BjørnerPublished in: FORTE (2001)
Keyphrases
- lessons learned
- formal analysis
- key issues
- artificial intelligence
- real world
- computer science
- network protocols
- lightweight
- technical challenges
- coloured petri nets
- formal ontologies
- engineering problems
- security protocols
- formal specification
- open issues
- communication protocol
- formal model
- cryptographic protocols
- software engineering
- digital libraries
- data sets