A finite transition model for security protocol verification.

Yulong Fu Ousmane Koné

Published in: SIN (2013)

Keyphrases

transition model
security protocols
artificial immune algorithm
security services
reinforcement learning
key management
model checking
authentication protocol
security mechanisms
finite number
markov decision problems
state transition
rfid tags
low cost
security requirements