Towards Most Efficient Method for Untimed Security Protocols Verification.

Olga Siedlecka-Lamch Sabina Szymoniak Miroslaw Kurkowski Imed El Fray

Published in: PACIS (2020)

Keyphrases

cost effective
security protocols
information systems
similarity measure
wireless networks
formal model
automated design
artificial immune algorithm