title: A model based security testing method for protocol implementation.
abstract: The security of protocol implementation is important and hard to be verified. Since the penetration testing is usually based on the experience of the security tester and the specific protocol specifications, a formal and automatic verification method is always required. In this paper, we propose an extended model of IOLTS to describe the legal roles and intruders of security protocol implementations, and then combine them together to generate the suitable test cases to verify the security of protocol implementation.
authors.affiliation: LIUPPA, University of PAU and Academy of Bordeaux, 40000 Mont de Marsan, France.
authors.forename: Yu Long
authors.initials: YL
authors.lastname: Fu
authors.affiliation: Department of Mathematics, Northwest University, Xi'an 710069, China.
authors.forename: Xiao Long
authors.initials: XL
authors.lastname: Xin
mesh_terms: D016494:Computer Security; D008962:Models, Theoretical
references.citation: Biomed Res Int. 2013;2013:170580
references.pmid: 24078906
references.citation: J Med Syst. 2014 May;38(5):17
references.pmid: 24777588