Probabilistic Analysis and Verification of the ASW Protocol using PRISM.

Salekul Islam Mohammad Abu Zaid

Published in: Int. J. Netw. Secur. (2008)

Keyphrases

formal analysis
quantitative analysis
database
genetic algorithm
website
multi agent
probability distribution
model checking
probabilistic logic
coloured petri nets