Security Concepts for Microprocessor Based Key Generator Controllers

摘要

The use of microprocessors in key generator controller designs can improve device throughput, reduce size and heat dissipation, and provide for greater functionality while reducing cost and energy requirements. However, there are many inherent difficulties in using microprocessors in a key generator controller. This study investigates how the three disciplines of architecture, software verification, and security failure analysis can be applied in a mutually supporting manner such the resulting microprocessor based controller could be attested to provide the level of security and reliability needed for correct operation. The architecture study identifies the importance of relatively isolated processing domains.