Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 13 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is A  [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.
Paci, F., M. Mecella, M. Ouzzani, and E. Bertino, "ACConv-An access control model for conversational Web services", ACM Transactions on the Web, vol. Vol. x, No. y,, 01/2011.
Paci, F., M. Mecella, M. Ouzzani, and E. Bertino, "ACConv-An access control model for conversational Web services", ACM Transactions on the Web , vol. Volume 5 , issue Issue 3, 07/2011 .
Massacci, F., S. Neuhaus, and V. H. Nguyen, "After-Life Vulnerabilities: A Study on Firefox Evolution, its Vulnerabilities and Fixes", Proceeding of the International Symposium on Engineering Secure Software and Systems (ESSoS)'11, Madrid, Spain, 2/2011.
N.Dragoni, O. Gadyatskaya, F. Massacci, and A. Philippov, "Algorithms for Security-by-Contract on Multi-Application Java Cards", Journal of Critical Computer-Based Systems, 2011.
Solhaug, B., Analysing Risk in Practice: The CORAS Approach to Model-Driven Risk Analysis - Tutorial at ICISS'11, , 2011.
Solhaug, B., Analysing Risk in Practice: The CORAS Approach to Model-Driven Risk Analysis - Tutorial at SECURWARE'11, , 2011.
Peng, X., Y. Yu, and W. Zhao, "Analyzing evolution of variability in a software product line: From contexts and requirements to features", Information and Software Technology, vol. 53, no. 7, pp. 707 - 721, 2011. Abstract
Vogels, F., B. Jacobs, F. Piessens, and J. Smans, "Annotation inference for separation logic based verifiers", Formal Techniques for Distributed Systems (FMOODS/FORTE 2011), vol. 6722: Springer, pp. 319–333, 2011.

Reykjavik, Iceland, 6-9 June 2011

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.
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
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.