A Multiple Security Domain Model of a Drive-by-Wire System.

Gerry Howser, Bruce M. McMillin

Browse the full COMPSAC paper archive.