The Caernarvon secure embedded operating system

David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber. The Caernarvon secure embedded operating system. Operating Systems Review, 42(1):32-39, 2008. [doi]

Bibliographies