원문정보
피인용수 : 0건 (자료제공 : 네이버학술정보)
초록
한국어
5G 네트워킹이 2020년 상용화를 목표로 추진되고 있다. 2020년에는 IoT에 의한 연결된 기 기가 500억~800억 개로 증가할것으로 예상되며 이로 인한 새로운 트래픽 폭증을 수용할 수 있는 5세대 이동통신 기술로 SDN/NFV(Software-Defined Networking/ Nework Function Virturalization)이 기반 기술로 고려되고 있다. SDN/NFV을 기반 프레임 워크를 활용함으로서 네트워크 제어 및 관리가 용이하지만 프 로그램에 의한 네트워크의 제어로 인한 예상하지 못한 심각한 오류가 발생할 수 있다. 그러므 로 SDN Controller의 rule을 데이터 디바이스에 전달하기 이전에 안전성(safety)과 일관성 (consistency)의 검증이 필수적이다. 본 논문에서는 5G SDN 네트워킹에서 발생할 수 있는 오 류에 대한 모델링과 검증 방법의 한가지를 다루도록 한다.
목차
Abstract
1. 서론
2. pACSR
2.1 pACSR의 문법
3. Firewall의 pACSR 모델링
4. Firewall의 pACSR 검증
5. 결론
Acknowdgement
References
Biographies
1. 서론
2. pACSR
2.1 pACSR의 문법
3. Firewall의 pACSR 모델링
4. Firewall의 pACSR 검증
5. 결론
Acknowdgement
References
Biographies
저자정보
참고문헌
자료제공 : 네이버학술정보