Model based security verification of protocol implementation

Journal of Information Security and Applications - Tập 22 - Trang 17-27 - 2015