Research Projects:INSPEC(firewall implementation testing) ConfigChecker (Global Security Verification via Model Checking) ConfigGenerator (Network/topology generator. Including Routers, Firewalls, IPSec,...) ConfigLego (Piece-by-piece configuration building API) Traffic-aware Firewall Filtering Optimization (FV-AT, FV-SC, PS-ST, PS-SL, PBER)
Covert Communication (POCC)
My Blogs:Simple Techniques for
NAVIGATOR:
|
| My Recent News
Showing posts 1 - 5 of 5.
View more »
|
Adel El-Atawy - last updated: 2010-08-24