Necessary and Sufficient Numbers of Cards for the Transformation Protocol.

Koichi Koizumi Takaaki Mizuki Takao Nishizeki

Published in: COCOON (2004)

Keyphrases

lightweight
formal analysis
network protocols
coloured petri nets
cryptographic protocols
tcp ip
voting protocols
key distribution
communication protocol
group communication
application layer
image sequences
real numbers
security protocols
smart card
privacy preserving
response time