Formal modeling and verification of DLK protocol.

Hussam M. N. Al Hamadi Chan Yeob Yeun Mohamed Jamal Zemerly Mahmoud Al-Qutayri Amjad Gawanmeh

Published in: ICITST (2011)

Keyphrases

formal analysis
colored petri nets
formal methods
model checker
model checking
cryptographic protocols
petri net
formal model
information systems
web services
modeling method
artificial intelligence
learning algorithm
database systems
real time
case study
formal specification
knowledge base
neural network