Distributed, secure design for a multi-microprocessor operating system ( ) Author O'Connell, James Steven;Richardson, Larry Don Title Distributed, secure...