Validiation of the Sessionless Mode of the HTTPR Protocol.

Paolo Romano Milton Romero Bruno Ciciani Francesco Quaglia

Published in: FORTE (2003)

Keyphrases

lightweight
key distribution
cryptographic protocols
network protocols
mixed mode
tcp ip
coloured petri nets
database
mobile devices
formal analysis
group communication