Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol

Authors:
Stanislaw Budkowski;A. B. Alkhechi;Mohamed-Lyes Benalycherif;Piotr Dembinski;M. Gardie;E. Lallet;J. P. Mouchel La Fosse;Younes Souissi
Affiliations:
-;-;-;-;-;-;-;-
Venue:
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Year:
1993

Simulation of Security Protocols based on Scenarios of Attacks

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Simulation of Security Protocols based on Scenarios of Attacks

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Hi-index	0.00