Information flow analysis for VHDL

Lecture Notes in Computer Science

Volumn 3606, Issue , 2005, Pages 79-98

  Tolstrup, Terkel K ^a   Nielson, Flemming ^a   Nielson, Hanne Riis ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CRYPTOGRAPHY; INFORMATION ANALYSIS;

ADVANCED ENCRYPTION STANDARD ALGORITHM; INFORMATION FLOW ANALYSIS; VHDL;

FORMAL LANGUAGES;

EID: 26844470115     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11535294_8     Document Type: Conference Paper

References (17)

1. A. Aho, J. Hopcroft, and J. Ullman. Data Structures and Algorithms. Addison-Wesley, 1983.
2. P. J. Ashenden. The Designer's Guide To VHDL. Morgan Kaufmann, 2nd edition, 2002.
3. K. G. W. Goossens. Reasoning About VHDL Using Operational and Observational Semantics. In CHDM, volume 987 of LNCS, pages 311-327. Springer, 1995.
4. J. T. Haigh and W. D. Young. Extending the Non-interference Version of MLS for SAT. In IEEE Symposium on Security and Privacy, pages 232-239, 1986.
5. Y-W. Hsieh and S. P. Levitan. Control/Data-Flow Analysis for VHDL Semantic Extraction. Journal of Information Science and Engineering, 14(3):547-565, 1998.
6. C. Hymans. Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation. In SAS, volume 2477 of LNCS, pages 444-460. Springer, 2002.
7. IEEE inc. IEEE Standard VHDL Language Reference Manual. IEEE, 1988.
8. J. McHugh. Covert Channel Analysis. Handbook for the Computer Security Certification of Trusted Systems, 1995.
9. F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
10. F. Nielson, H. R. Nielson, and H. Seidl. A Succinct Solver for ALFP. Nordic Journal of Computing, 9(4):335-372, 2002.
11. F. Nielson, H. R. Nielson, H. Sun, M. Buchholtz, R. R. Hansen, H. Pilegaard, and H. Seidl. The Succinct Solver Suite. In TACAS, volume 2988 of LNCS, pages 251-265. Springer, 2004.
12. H. R. Nielson and F. Nielson. Semantics with Applications - A Formal Introduction. John Wiley & Sons, 1992.
13. International Standards Organisation. Common Criteria for information technology security (CC). ISO/IS 15408 Final Committee Draft, version 2.0., 1998.
14. J. Rushby. Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CSL-92-02, SRI International, December 1992.
15. A. Sabelfeld and A. C. Myers. Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, 2003.
16. K. Thirunarayan and R. L. Ewing. Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93. FMSD, 18(1):69-88, 2001.
17. B. Weeks, M. Bean, T. Rozylowicz, and C. Ficke. Hardware performance simulations of round 2 advanced encryption standard algorithms. Technical report, National Security Agency, 2000.