| Budget Amount *help |
¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2011: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
|
|---|
| Research Abstract |
In this research, we have investigated configuration diagnosis systems for firewalls and intrusion detection systems. The followings are main research products: 1) An analysis method for firewall policies based on topological relations between the filters, 2) An analysis method for firewall policies with timed filters, 3) A verification method for consistency between a security policy and a firewall policy, 4) An analysis method for spatial relations between the rules in a configuration file of an intrusion detection system.
|
