Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif. SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. In Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan. pages 841-846, IEEE Computer Society, 2009. [doi]
Abstract is missing.