Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 148 results:
Sort by: [ Author (Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
Hafner, M., M. Memon, and R. Breu, "SeAAS - A Reference Architecture for Security Services in SOA", Journal of Universal Computer Science, 2010.
G
Gander, M., M. Hafner, H. Yu, and M. Memon, "Architectural Patterns for Model Driven Security in SOA", Communications and Multimedia Security - CMS 2010, Linz, Austria, 05/2010.
Gadyatskaya, O., F. Massacci, F. Paci, E. Lostal, and N. Dragoni, "A Load Time Policy Checker for Open Multi-application Smart Cards", Policy symposium 2011, Pisa, 2011.
Gadyatskaya, O., E. Lostal, and F. Massacci, "Load Time Security Verification", ICISS: Springer- Verlag, 2011.
F
Franqueira, V. N. L., T. T. Tun, Y. Yu, R. Wieringa, and B. Nuseibeh, "Enhancing Argumentation with Risk Assessment for Achieving Good-Enough Security", Requirements Engineering Journal , Submitted.
Franqueira, V. N. L., T. T. Tun, Y. Yu, R. Wieringa, and B. Nuseibeh, "Risk and argument: A risk-based argumentation method for practical security", 19th IEEE International Requirements Engineering Conference, Trento, Italy, IEEE, pp. 239-248, August 29 2011. Abstract
Fourneret, E., F. Bouquet, M. Ochoa, J. Jürjens, and S. Wenzel, "Vérification et Test pour des systèmes évolutifs", AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, pp. 150–164, 2012.
Fourneret, E., and F. Bouquet, "UML/OCL based impact analysis to test evolvin critical software", ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf., Ohrid, Macedonia, 2011.
Fourneret, E., M. Ochoa, F. Bouquet, J. Botella, J. Jürjens, and P. Yousefi, "Model-Based Security Verification and Testing for Smart-cards", 6th Intl. Conf. on Availability, Reliability and Security (ARES 2011), Vienna, Austria, 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.
Fontaine, A., S. Hym, and I. Simplot-Ryl, "Verifiable control flow properties for Java bytecode", FAST 2011: Springer Berlin / Heidelberg, to appear, 2011.
Fontaine, A., S. Hym, and I. Simplot-Ryl, "On-Device Control Flow Verification for Java Programs", Proc. of ESSoS’11, ACM/IEEE 3rd International Symposium on Engineering Secure Software and Systems, 2011.
Felici, M., V. Meduri, B. Solhaug, and A. Tedeschi, "Evolutionary risk analysis: Expert judgement", Computer safety, reliability, and security (SAFECOMP), Italy, Springer, 09/2011.
Felderer, M., B. Agreiter, and R. Breu, "Managing Evolution of Service Centric Systems by Test Models", The Tenth IASTED International Conference on Software Engineering, Innsbruck, Austria, ACTA Press, 02/2011. Abstract
Felderer, M., B. Agreiter, and R. Breu, "Evolution of Security Requirements Tests for Service-Centric Systems", International Symposium on Engineering Secure Software and Systems, Madrid, Spain, Springer-Verlag, 02/2011. Abstract
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.
Felderer, M., B. Agreiter, R. Breu, and A. Armenteros, "Security Testing by Telling TestStories", Modellierung 2010, Klagenfurt, Austria, 03/2010.
F.Massacci, "SecureChange al via L’Università di Trento è in prima linea", Sole 24 ore, 03/2011.
E
E.Felix, O.Delande, F.Massacci, and F.Paci, "Managing Changes with Legacy Security Engineering Processes", ISI: Springer-Verlag, 2011.
D
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.
Dragoni, N., O. Gadyatskaya, and F. Massacci, "Can We Support Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract?", Security and Privacy of Pervasive Systems and Small Devices, Passau, Germany, Springer, Submitted.
Dadeau, F., F. Peureux, B. Legeard, R. Tissot, J. Julliand, P. - A. Masson, and F. Bouquet, "Test Generation using Symbolic Animation of Models", Model-Based Testing for Embedded Systems: CRC Press, pp. ***–***, 2010.

Accepted manuscript. To appear

C
Coyle, L., M. Hinchey, B. Nuseibeh, and J. L. Fiadeiro, "Guest Editors' Introduction: Evolving Critical Systems", IEEE Computer , vol. 43, issue 5, pp. 6, 2010.
Chen, B., X. Peng, Y. Yu, and W. Zhao, "Are your sites down? Requirements-driven self-tuning for the survivability of Web systems", Requirements Engineering Conference (RE), 2011 19th IEEE International, pp. 219 -228, 29 2011-sept. 2. Abstract
C. Connert, S. Forster, H. M., SeAAS – Introduction and Empirical Performance Evaluation, , no. QE-2011-24: QE, 2011.