Author:
Katkalov Kuzman,Moebius Nina,Stenzel Kurt,Borek Marian,Reif Wolfgang
Subject
Computer Networks and Communications
Reference28 articles.
1. N. Moebius, K. Stenzel, H. Grandy, W. Reif, SecureMDD: A model-driven development method for secure smart card applications, in: International Conference on Availability, Reliability and Security, 2009, ARES ’09, pp. 841–846.
2. N. Moebius, K. Stenzel, H. Grandy, W. Reif, Model-driven code generation for secure smart card applications, in: Software Engineering Conference, 2009, ASWEC ’09, Australian, pp. 44–53.
3. N. Moebius, Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen (German), Ph.D. thesis, 2013.
4. Oracle, Java Card Platform Specification 2.2.2, 2012. .
5. Formal verification of application-specific security properties in a model-driven approach;Moebius,2010
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献