닫기
Loading..

Please wait....

학술대회 프로시딩

홈 홈 > 연구문헌 > 학술대회 프로시딩 > 대한전자공학회 학술대회 > 2018년 대한전자공학회 추계학술대회

2018년 대한전자공학회 추계학술대회

Current Result Document : 37 / 37

한글제목(Korean Title) 모델의 검증 방법을 기반으로 한 패킷 필터링의 검증
영문제목(English Title) Verification of the Packet Filtering Based on the Method of Verification on the Model
저자(Author) Khurshed Farkhodov   권오흠   송민규   권오준   이석환   권기룡   강경원   Khurshed Farkhodov   Oh-Heum Kwon   Min-Kyu Song   Oh-Jun Kwon   Suk-Hwan Lee   Ki-Ryong Kwon   Kyung-Won Kang  
원문수록처(Citation) VOL 41 NO. 02 PP. 0229 ~ 0232 (2018. 11)
한글내용
(Korean Abstract)
영문내용
(English Abstract)
An approach to the verification of filtering rules is proposed, designed to detect and resolve the anomaly of filtration in the specifications of computer network security policy. The approach is based on the method of verification on the Model. The models of the computer system, firewall and anomalies of filtration are considered, which serve for verification of filtering rules by this method. As well as algorithms for detecting such anomalies. A technique for verifying the rules for filtering security policies based on these models is proposed.
키워드(Keyword)   
파일첨부 PDF 다운로드