- Suche

- Kontakt

Publications

    2011

  • Formal Verification of QVT Transformations for Code Generation
    Kurt Stenzel, Nina Moebius, Wolfgang Reif
    Proceedings of MODELS 2011 - 14th International Conference on Model Driven Engineering Languages and Systems, Springer LNCS 6981
    abstract; Springer link;
     
  • Mondex: Engineering a Provable Secure Electronic Purse
    Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
    International Journal of Software and Informatics, 5(1):159-184, 2011. http://www.ijsi.org
    abstract;
     

    • 2010

  • Pitfalls in Formal Reasoning about Security Protocols
    Nina Moebius, Kurt Stenzel, Wolfgang Reif
    Proceedings of ARES 2010 - Fifth International Conference on Availability, Reliability and Security, IEEE Press
    abstract;
     
  • Formal Verification of Application-Specific Security Properties in a Model-Driven Approach
    N. Moebius, K. Stenzel, W. Reif
    International Symposium on Engineering Secure Software and Systems 2010 (ESSoS), Springer LNCS 5965
    abstract; Springer link;
     

    • 2009

  • A Cryptographically t-Private Auction System
    Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert
    Proceedings of 3rd International Conference on Network and System Security (NSS) 2009, IEEE/ACM Digital Libary
    abstract;
     
  • Modeling Security-Critical Applications with UML in the SecureMDD Approach
    N. Moebius, W. Reif, K. Stenzel
    International Journal On Advances in Software (2008) 1:59-79, IARIA
    abstract; IariaJournals;
     
  • Generating Formal Specifications for Security-Critical Applications - A Model-Driven Approach
    N. Moebius, K. Stenzel, W. Reif
    ICSE 2009 Workshop: International Workshop on Software Engineering for Secure Systems (SESS'09), IEEE/ACM Digital Libary
    abstract;
     
  • Model-Driven Code Generation for Secure Smart Card Applications
    N. Moebius, K. Stenzel, H. Grandy, W. Reif
    Proceedings of the 20th Australian Software Engineering Conference , IEEE Computer Society Press (2009)
    abstract;
     
  • SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications
    N. Moebius, K. Stenzel, H. Grandy, W. Reif
    ARES 2009 Workshop: Proceedings of the Third International Workshop on Secure Software Engineering, IEEE Computer Society Press (2009)
    abstract;
     

    • 2008

  • A Systematic Verification Approach for Mondex Electronic Purses using ASMs
    G. Schellhorn, H. Grandy, D. Haneberg, N. Moebius, W. Reif
    Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday. Jean-Raymond Abrial, Uwe Glässer (Editors), LNCS 5115, Springer
    abstract;
     

    • 2007

  • A Modeling Framework for the Development of Provably Secure E-Commerce Applications
    Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
    Proceedings of the International Conference on Software Engineering Advances 2007, IEEE Computer Society Press **** Best Paper Award ****
    abstract;
     
  • A Systematic Verification Approach for Mondex Electronic Purses using ASMs
    Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif
    Proceedings of the Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis, Springer, LNCS
    abstract;
     

    • 2006

  • The Mondex Case Study: From Specifications to Code
    H. Grandy, N. Moebius, M. Bischof, D. Haneberg, G. Schellhorn, K. Stenzel, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg, December 2006
    abstract; The Mondex Case Study: From Specifications to Code (445 KB);
     
  • A Systematic Verification Approach for Mondex Electronic Purses using ASMs
    G. Schellhorn, H. Grandy, D. Haneberg, N. Moebius, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg
    abstract; A Systematic Verification Approach for Mondex Electronic Purses using ASMs (279 KB);