Back to Search
Start Over
A Model Based Security Testing Method for Protocol Implementation
- Source :
- The Scientific World Journal, Vol 2014 (2014)
- Publication Year :
- 2014
- Publisher :
- Wiley, 2014.
-
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.
- Subjects :
- Technology
Medicine
Science
Subjects
Details
- Language :
- English
- ISSN :
- 23566140 and 1537744X
- Volume :
- 2014
- Database :
- Directory of Open Access Journals
- Journal :
- The Scientific World Journal
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.61d1e52af98b4170ba1ab0b32df6d4af
- Document Type :
- article
- Full Text :
- https://doi.org/10.1155/2014/632154