Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 23 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
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   [Show ALL]
A
Masson, P. - A., M. - L. Potet, J. Julliand, R. Tissot, G. Debois, B. Legeard, B. Chetali, F. Bouquet, E. Jaffuel, L. Van Aertrick, et al., "An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project", JIAS, Journal of Information Assurance and Security, vol. 5, no. 1, pp. 335–351, 2010.
Wermelinger, M., Y. Yu, A. Lozano, and A. Capiluppi, "Assessing architectural evolution: a case study", Empirical Software Engineering, vol. 16, no. 5, pp. 623–666, June, 2011. Abstract

The final version is available at the DOI given above. The zip file is the web companion mentioned in the paper.

Pretre, V., F. Bouquet, A. Dekermadec, C. Lang, and F. Dadeau, "Automated UML models merging for web services testing", Journal on Web and Grid Services, vol. 5, issue 2, pp. 107--129, 2009.
C
Trojer, T., M. Breu, and S. Löw, "Change-driven Model Evolution for Living Models", 3rd Workshop Model-driven Tool and Process Intergration (MDTPI), ECMFA 2010, Paris, France, 06/2010.
Asnar, Y., T. Li, F.Massacci, and F.Paci, "Computer-Aided Threat Identification", CEC 2011, New Orleans, IEEE, 2011.
D
L.M.S.Tran, and F.Massacci, "Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution", 23rd International Conference on Advanced Information Systems Engineering (CAiSE'11), London, Sringer-Verlag , 2011.
E
Lund, M. S., B. Solhaug, and K. Stølen, "Evolution in Relation to Risk and Trust Management", IEEE Computer, vol. 43, issue 5, 05/2010.
I
Legeard, B., F. Bouquet, and N. Pickaert, "Industrialiser le test fonctionnel", InfoPro - Etudes, développement et intégration: Dunod, 2009.
Legeard, B., F. Bouquet, and N. Pickaert, Industrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test, : DUNOD, pp. 304, 2011.
L
Breu, M., R. Breu, and S. Löw, "Living on the MoVE: Towards an Architecture for a Living Models Infrastructure.", The Fifth International Conference on Software Engineering Advances, Nice, France, IEEE Computer Society, 08/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.
M
Yu, Y., Y. Lin, Z. Hu, S. Hidaka, H. Kato, and L. Montrieux, "Maintaining invariant traceability through bidirectional transformations", 34th International Conference on Software Engineering, 2012.
Breu, M., R. Breu, and S. Loew, "MoVEing Forward: Towards an Architecture and Processes for a Living Models Infrastructure", International Journal On Advances in Life Sciences, vol. 3, no. 1 and 2, pp. 12–22, 2011.
N
Supakkul, S., T. Hill, L. Chung, T. T. Tun, and J. C. S. P. do Leite, "An NFR Pattern Approach to Dealing with NFRs", IEEE International Conference on Requirements Engineering, Los Alamitos, CA, USA, IEEE Computer Society, pp. 179-188, 2010.
O
Massacci, F., F. Bouquet, E. Fourneret, J. Jürjens, M. S. Lund, S. Madelénat, J. T. Muehlberg, F. Paci, S. Paul, F. Piessens, et al., "Orchestrating Security and System Engineering for Evolving Systems", ServiceWave, pp. 134-143, 2011.
R
Lund, M. S., B. Solhaug, and K. Stølen, "Risk analysis of changing and evolving systems using CORAS", Foundations of security analysis and design VI, vol. 6858: Springer, pp. 231-274, 2011.
S
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

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.
Tun, T. T., T. Trew, M. Jackson, R. Laney, and B. Nuseibeh, "Specifying features of an evolving software system", Software: Practice and Experience, vol. 39, no. 11, pp. 973–1002, 2009. Abstract
T
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

U
Lund, M. S., B. Solhaug, and K. Stølen, "Using CORAS to Support Change Management", Model-Driven Risk Analysis: The CORAS Approach: Springer, 2011.
W
Massacci, F., and V. H. Nguyen, "Which is the Right Source of Vulnerability Studies? An Empirical Analysis on Mozilla Firefox", International Workshop on Security Measurement and Metrics (MetriSec)'10, Bolzano-Bozen, Italy, 9/2010.