Validation of security protocol implementations from security objectives
Keywords: آزمایش پروتکل; Protocol testing; Threatening attack; Robustness and security; Test generation on-the-fly; Verification of implementation