Protocol Algebra.

Anders Moen Hagalisletto

Published in: ISCC (2006)

Keyphrases

lightweight
network protocols
relational algebra
communication protocol
data model
query language
distributed databases
formal analysis
protocol specification
file transfer
data mining
algebraic expressions
algebraic geometry
trusted third party
group communication
cryptographic protocols
tcp ip
security analysis