TDC 477
Spring 09

TDC477: Network Security

Course Project: Policy Management

Due: 11:59 pm , 15 June, 2009

Using the network topology, firewall and routing configuration listed in the main.cpp in ConfigLego directory , write the Boolean expression to query or verify each of the following security configuration properties and show the results (by running the program):

1. Can domain 1 reach domain 2?
2. Any shadowing between domain 1 and domain 2
3. Any spuriousness between domain 1 and domain 3
4. Show example of traffic from domina 1 that can reach domain 2 but not domain 3
5. Does domain 3 allow traffic from the Internet?
6. What traffic domain 1 allows to the Internet?
7. Is there any conflict between routing and any firewall?

Submission Procedure

Submit your document thru DLWEB as a zip file that includes two files: (1) quries.doc which list the quires used and the query results, and (2) main.cpp which includes your solution

Grading Policy:

No Late assignments will be accepted]