Modeling and Analyzing the (mu)TESLA Protocol Using CSP.

Mengying Wang Huibiao Zhu Yongxin Zhao Si Liu

Published in: TASE (2011)

Keyphrases

constraint satisfaction problems
neural network
lightweight
database
data sets
genetic algorithm
digital libraries
wireless networks
constraint satisfaction
constraint programming
network protocols
coloured petri nets