원문정보
Software Audit System for security verification on Ubiquitous Computing Environment
피인용수 : 0건 (자료제공 : 네이버학술정보)
목차
요약
1. 서론
2. 관련 연구
2.1 ITS4(It's The Software, Stupid-Security Scanner)
2.2 MOPS(Model checking Programs for Security properties)
2.3 BLAST(Berkely Lazy Abstraction Software Verification Tool)
2.4 SLAM
3. 소프트웨어 감사 시스템
3.1 소프트웨어 감사 시스템의 구조
3.2 소스 코드 분석 모듈
3.3 규칙 프로세스
3.4 검사 모듈
4. 비교 분석
5. 결론
참고문헌
1. 서론
2. 관련 연구
2.1 ITS4(It's The Software, Stupid-Security Scanner)
2.2 MOPS(Model checking Programs for Security properties)
2.3 BLAST(Berkely Lazy Abstraction Software Verification Tool)
2.4 SLAM
3. 소프트웨어 감사 시스템
3.1 소프트웨어 감사 시스템의 구조
3.2 소스 코드 분석 모듈
3.3 규칙 프로세스
3.4 검사 모듈
4. 비교 분석
5. 결론
참고문헌
저자정보
참고문헌
자료제공 : 네이버학술정보