A GSM-MAP Protocol Experiment Using Passive Testing.

Marine Tabourier Ana R. Cavalli Melania Ionescu

Published in: World Congress on Formal Methods (1999)

Keyphrases

lightweight
database
maximum a posteriori
cryptographic protocols
mobile communications
coloured petri nets
markov random field
end to end
formal analysis
communication protocols
network protocols
file transfer