Formal Methods Applied to Secure Network Engineering.

Shiu-Kai Chin, John Faust, Joseph Giordano

Browse the full ICECCS paper archive.