![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Validation of security protocol implementations from security objectives
Keywords: آزمایش پروتکل; Protocol testing; Threatening attack; Robustness and security; Test generation on-the-fly; Verification of implementation