A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is
This paper describes the formal specijication and development of a separation kernel. The Mathematically Analyzed Separation Kernel (MASK), has been used by Motorola on a smartcard project, und as part of a hardware cryptographic platform called the Advanced INFOSEC Machine (AIM). Both MASK and AIM were jointly developed by Motorola and the National Security Agency (NSA). The paper will begin by describing the separation kernel concept and its importance to information security. Next it willdoi:10.1109/ase.2000.873658 dblp:conf/kbse/MartinWTG00 fatcat:r56f3csmr5fx5pghedxmjrlgbq