A Formal Method Experience at Secure Computing Corporation. - John Hoffman; Charlie Payne (CAV, 1998)

Distributed Embedded Firewalls with Virtual Private Groups. - Tom Markham; Lynn Meredith; Charlie Payne (DISCEX (2), 2003)