Modeling and Verifying the Ariadne Protocol Using CSP.

Xi Wu Si Liu Huibiao Zhu Yongxin Zhao Lei Chen

Published in: ECBS (2012)

Keyphrases

constraint satisfaction problems
real time
lightweight
colored petri nets
database
modeling method
web services
constraint solving