Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN
Nordic Journal of Computing
Model-Based prototyping of an interoperability protocol for mobile ad-hoc networks
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.00 |