Login / Signup

Seventh Heaven: Building the Perfect Beast: Dreams of a Grand Unified Protocol.

Rohit Khare
Published in: IEEE Internet Comput. (1999)
Keyphrases
  • lightweight
  • international conference
  • database systems
  • formal analysis
  • security protocols
  • tcp ip
  • protocol specification
  • coloured petri nets