Presentation 2012/3/8
Test Generation for Equivalence of Access Control List
NORIAKI YOSHIURA, HIROKAZU SAYAMA,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) Computer network security is one of the important issues in the Internet age. Network Administrators of companies or universities filters IP packets at network equipment between their organizations and the Internet to keep the security of the computer networks. Access control lists are lists of rules, which describe permission or denial of packet transition by source IP address, destination IP address, port numbers and so on. Access control lists are not always fixed; network administrators change access control list according to the change of network topology or network security policy. After several changes, access control lists may include redundancies and network administrators have to modify the access control list to remove redundancies. This modification keeps the semantics of access control list. After modification, the network administrators have to confirm that the semantics of access control list does not change. For this purpose, this paper proposes the method of generating test packets to confirm the equivalence of two access control lists.
Keyword(in Japanese) (See Japanese page)
Keyword(in English)
Paper # Vol.2012-IOT-16 No.53
Date of Issue

Conference Information
Committee IA
Conference Date 2012/3/8(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Internet Architecture(IA)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Test Generation for Equivalence of Access Control List
Sub Title (in English)
Keyword(1)
1st Author's Name NORIAKI YOSHIURA
1st Author's Affiliation Saitama University()
2nd Author's Name HIROKAZU SAYAMA
2nd Author's Affiliation NTT Data System Technology
Date 2012/3/8
Paper # Vol.2012-IOT-16 No.53
Volume (vol) vol.111
Number (no) 485
Page pp.pp.-
#Pages 6
Date of Issue