상세 보기
Design of exploitable automatic verification system for secure open source software
- Kim, B.;
- Song, J.-H.;
- Park, J.-P.;
- Jun, M.-S.
SCOPUS
1초록
As more people use IT products, the application extent of software has increased along with demand for it. In addition to commercialized software, open source software is also seeing its market grow rapidly. But open source software is developed by those without expert knowledge in security. As a result, many security vulnerabilities arise and are taken advantage of for attacks. Therefore, in this paper, we suggested the design of an exploitable automatic verification system for secure open source software to address these issues. It is expected that, through the use of this system, the reliabilities of the open source software, the developers of the open source software, and the corporations using can be improved. © Springer Science+Business Media Singapore 2015.
키워드
- 제목
- Design of exploitable automatic verification system for secure open source software
- 저자
- Kim, B.; Song, J.-H.; Park, J.-P.; Jun, M.-S.
- 발행일
- 2015
- 유형
- Article
- 권
- 373
- 페이지
- 275 ~ 281
- 출판사
- Springer Verlag
- 분량
- 7 페이지
- ISSN
- P 1876-1100