SIFA: A Tool for Evaluation of High-Grade Security Devices

  • Tim McComb
  • Luke Wildman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3574)


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.


Operation Mode Failure Analysis Linear Temporal Logic Security Domain Bypass Mode 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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
  2. 2.
    de Moura, L., Owre, S., Rueß, H., Rushby, J., Shankar, N., Sorea, M., Tiwari, A.: SAL 2. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 496–500. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Furedi, Z., Kurshan, R.P.: Minimal length test vectors for multiple-fault detection. Theor. Comput. Sci. 315(1), 191–208 (2004)CrossRefMathSciNetGoogle Scholar
  4. 4.
    Graves, J.: Cryptographic device. Technical report, Defence Signals Directorate (2003)Google Scholar
  5. 5.
    Jackson, D.: Structuring Z specifications with views. ACM Trans. Softw. Eng. Methodol. 4(4), 365–389 (1995)CrossRefGoogle Scholar
  6. 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. 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
  8. 8.
    Rae, A.J., Fidge, C.J.: Information flow analysis for fail-secure devices. The Computer Journal 48(1), 17–26 (2005)CrossRefGoogle Scholar
  9. 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. 10.
    Zwolinski, M.: Digital system design with VHDL, 2nd edn. Pearson Education, London (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Tim McComb
    • 1
  • Luke Wildman
    • 1
  1. 1.School of Information Technology and Electrical EngineeringThe University of QueenslandAustralia

Personalised recommendations