Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 27 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Title is S  [Clear All Filters]
2012
Ochoa, M., J. Jürjens, and D. Warzecha, "A Sound Decision Procedure for the Compositionality of Secrecy", 4th International Symposium on Engineering Secure Software and Systems (ESSOS 2012): Springer, 2012.
Penninckx, W., J. T. Mühlberg, B. J. Jan Smans, and F. Piessens, "Sound Formal Verification of Linux's USB BP Keyboard Driver", The 4th NASA Formal Methods Symposium (NFM 2012), 2012.

to appear

Felderer, M., B. Agreiter, and R. Breu, "State-based Evolution Management of Risk-based System Tests for Service-centric Systems.", Emerging Technologies for the Evolution and Maintenance of Software Models.: IGI Global, pp. 298-318., 2012.
2011
Yu, Y., T. T. Tun, and B. Nuseibeh, "Specifying and detecting meaningful changes in programs", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), IEEE, Lawrence, KS, USA, pp. 273-282, November 6-10, 2011. Abstract
Hegedüs, A., Z. Ujhelyi, and G. Bergmann, "Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 302-324, 11/2011. Abstract
Hegedüs, A., Z. Ujhelyi, and G. Bergmann, "Solving the TTC 2011 Reengineering Case with VIATRA2", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 136-148, 11/2011. Abstract
Ujhelyi, Z., A. Horváth, and D. Varró, "Static Type Checking of Model Transformation Programs", Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011. Abstract

Accepted

F.Massacci, "SecureChange al via L’Università di Trento è in prima linea", Sole 24 ore, 03/2011.
C. Connert, S. Forster, H. M., SeAAS – Introduction and Empirical Performance Evaluation, , no. QE-2011-24: QE, 2011.
Bergmann, G., F. Massacci, F. Paci, T. Tun, D. Varró, and Y. Yu, "SeCMER: A Tool to Gain Control of Security Requirements Evolution", Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011. Abstract

10.1007/978-3-642-24755-2_35

Massacci, F., and F. Paci, "Secure Collaborative Systems", In Trustworthy Internet: Springer, 2011.
Heyman, T., K. Yskout, R. Scandariato, H. Schmidt, and Y. Yu, "The Security Twin Peaks", International Symposium on Engineering Secure Software and Systems, 2011.
Fourneret, E., F. Bouquet, F. Dadeau, and S. Debricon, "Selective Test Generation Method for Evolving Critical Systems", REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011, Berlin, Germany, IEEE Computer Society Press, pp. 125–134, 2011.
Jürjens, J., and B. Nuseibeh, "Software Engineering for Secure Systems", 33rd International Conference on Software Engineering (ICSE 2011), 2011.
Knauss, E., S. Houmb, K. Schneider, S. Islam, and J. Jürjens, "Supporting Requirements Engineers in Recognising Security Issues", 17th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2011), Essen, 28-30 Mar. 2011, Springer, 2011.
Dragoni, N., O. Gadyatskaya, and F. Massacci, "Supporting Software Evolution for Open Smart Cards by Security-by-Contract", Dependability and Computer Engineering: Concepts for Software-Intensive Systems: IGI , 2011.
Hatebur, D., M. Heisel, J. Jürjens, and H. Schmidt, "Systematic Development of UMLsec Design Models Based On Security Requirements", 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011), Saarbrücken, Germany, 26 March - 3 April, 2011, Springer, 2011.
2010
Felderer, M., B. Agreiter, R. Breu, and A. Armenteros, "Security Testing by Telling TestStories", Modellierung 2010, Klagenfurt, Austria, 03/2010.
Hafner, M., M. Memon, and R. Breu, "SeAAS - A Reference Architecture for Security Services in SOA", Journal of Universal Computer Science, 2010.
Bandara, A., H. Shinpei, J. Jurjens, H. Kaiya, A. Kubo, R. Laney, H. Mouratidis, A. Nhlabatsi, B. Nuseibeh, Y. Tahara, et al., "Security Patterns: Comparing Modeling Approaches", Software Engineering for Security Systems: Industrial and Research Perspectives: IGI Global, 2010.
Nhlabatsi, A., B. Nuseibeh, and Y. Yu, "Security Requirements Engineering for Evolving Software Systems: A Survey", IJSSE, vol. 1, no. 1, pp. 54-73, 2010.
Ráth, I., A. Ökrös, and D. Varró, "Synchronization of abstract and concrete syntax in domain-specific modeling languages", Software and Systems Modeling, vol. 9, pp. 453-471, 2010. Abstract
2009
Memon, M., M. Hafner, and R. Breu, "Security As A Service: A Reference Architecture for SOA", 7th International Workshop on Security in Information Systems (WOSIS 2009), Milan, Italy, Springer, 05/2009.
Bouquet, F., R. Breu, J. Jurjens, F. Massacci, V. Meduri, Z. Micskei, F. Piessens, K. Stolen, and D. Varró, "SecureChange: Security Engineering for Lifelong Evolvable Systems", European Future Technologies Conference and Exhibition (FET09), Prague, Czech Republic, 04/2009. Abstract
Nuseibeh, B., C. B. Haley, and C. Foster, "Securing the Skies: In Requirements We Trust.", IEEE Computer, vol. 42, no. 9, pp. 64-72, 2009.