SIFA: A Tool for Evaluation of High-Grade Security Devices
We describe a tool for analysing information flow in security hardware. It identifies both sub-circuits critical to the preservation of security as well as the potential for information flow due to hardware failure. The tool allows for the composition of both logical and physical views of circuit designs. An example based on a cryptographic device is provided.
KeywordsOperation Mode Failure Analysis Linear Temporal Logic Security Domain Bypass Mode
Unable to display preview. Download preview PDF.
- 1.Cerone, A., Milne, G.J.: A methodology for the formal analysis of asynchronous micropipelines. In: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, pp. 246–262. Springer, Heidelberg (2000)Google Scholar
- 4.Graves, J.: Cryptographic device. Technical report, Defence Signals Directorate (2003)Google Scholar
- 6.The Common Criteria Project Sponsoring Organisations. Common criteria for information technology security evaluation. Technical Report Standard 15408, 2.1 edition, ISO/IEC (1999)Google Scholar
- 7.Rae, A.J., Fidge, C.J.: Identifying critical components during information security evaluations. Journal of Research and Practice in Information Technology (2005) (accepted for publication)Google Scholar
- 9.Spanoudakis, G., Finkelstein, A., Emmerich, W.: Viewpoints 96: international workshop on multiple perspectives in software development (sigsoft 96) workshop report. SIGSOFT Softw. Eng. Notes, 22(1), 39–41 (1997)Google Scholar
- 10.Zwolinski, M.: Digital system design with VHDL, 2nd edn. Pearson Education, London (2004)Google Scholar