Analyzing Internet Routing Security Using Model Checking.

Adi Sosnovich, Orna Grumberg, Gabi Nakibly

Browse the full LPAR paper archive.