P. Schaumont and I. Verbauwhede, Domain-specific codesign for embedded security, Computer, vol.36, issue.4, pp.68-74, 2003.
DOI : 10.1109/MC.2003.1193231

P. Kocher, R. Lee, G. Mcgraw, and A. Raghunathan, Security as a new dimension in embedded system design, pp.753-760, 2004.

B. Chess and G. Mcgraw, Static analysis for security. Security & Privacy, IEEE, vol.2, issue.6, pp.76-79, 2004.

P. V. Bryl, V. Bryl, F. Massacci, J. Mylopoulos, and N. Zannone, Designing Security Requirements Models Through Planning, Proceedings of CAiSE'06, pp.33-47, 2006.
DOI : 10.1007/11767138_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4945

M. D. Ernst, Type Annotations Specification (JSR 308), 2008.

J. Newkirk and A. Vorontsov, How .NET's custom attributes affect design, IEEE Software, vol.19, issue.5, pp.18-20, 2002.
DOI : 10.1109/MS.2002.1032846

K. Eagles, K. Markantonakis, and K. Mayes, A Comparative Analysis of Common Threats, Vulnerabilities, Attacks and Countermeasures Within Smart Card and Wireless Sensor Network Node Technologies, Lecture Notes in Computer Science, vol.4, issue.10, p.161, 2007.
DOI : 10.1109/MC.2003.1236475

A. A. Sere, J. Iguchi-cartigny, and J. L. Lanet, Automatic detection of fault attack and countermeasures, Proceedings of the 4th Workshop on Embedded Systems Security, WESS '09, pp.1-7, 2009.
DOI : 10.1145/1631716.1631723

W. Rankl and W. Effing, Smart Card Handbook, 2003.
DOI : 10.1002/9780470660911

S. Microsystems and . Inc, Java Card Platform Specification 2.2