论文信息 - Choosing a Formalism for Secure Coding: FSM vs. LTL - 字舞流文

Choosing a Formalism for Secure Coding: FSM vs. LTL

Heiko Mantel | Markus Aderhold | Alexander Gebhardt | H. Mantel | M. Aderhold | Alexander Gebhardt

[1] Robert C. Seacord,et al. The Cert Oracle Secure Coding Standard for Java , 2011 .

[2] Heiko Mantel,et al. Exemplary Formalization of Secure Coding Guidelines , 2010 .

[3] Xiaochun Yang,et al. Verification of CERT Secure Coding Rules: Case Studies , 2009, OTM Conferences.

[4] Robert C. Seacord. The CERT C Secure Coding Standard , 2008 .

[5] David A. Wagner,et al. Model Checking One Million Lines of C Code , 2004, NDSS.

[6] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .