A novel protocol for downloadable CAS.

Youngho Jeong Soonchoul Kim Heejeong Kim Han-Seung Koo Eunjung Kwon

Published in: IEEE Trans. Consumer Electron. (2008)

Keyphrases

lightweight
formal analysis
communication protocol
authentication protocol
cryptographic protocols
network protocols
database
database systems
cooperative
security analysis
security protocols
tcp ip
network simulator
coloured petri nets