Towards a Protocol Algebra Based on Algebraic Specifications.
Iakovos OuranosPetros S. StefaneasPublished in: SERA (selected papers) (2013)
Keyphrases
- algebraic expressions
- algebraic geometry
- algebraic structure
- protocol specification
- model checker
- set theory
- algebraic structures
- lightweight
- model checking
- communication protocols
- state machines
- formal specification
- tcp ip
- data model
- application layer
- formal analysis
- relational algebra
- cryptographic protocols
- network simulator
- authentication protocol
- key agreement protocol
- high level
- algebraic operators
- communication protocol
- operational semantics
- formal verification
- expressive power
- query language
- file transfer