Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 42 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is S  [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]
M
Butler, S., M. Wermelinger, Y. Yu, and H. Sharp, "Mining Java class naming conventions", 27th IEEE International Conference on Software Maintenance: IEEE, 2011. Abstract
J
O. Gadyatskaya, F. Massacci, F. Paci, and S. Stankevich, "Java Card Architecture for Autonomous yet Secure Evolution of Smart Cards Applications", Nordsec 2010 Conference Program, Aalto University, Espoo, Finland, 10/2010.
I
Jürjens, J., L. Marchal, M. Ochoa, and H. Schmidt, "Incremental Security Verification for Evolving UMLsec models", Proc. of the 7th European Conference on Modelling Foundations and Applications (ECMFA'11), Birmingham, UK, pp. 52-68, 2011.
E
Massacci, F., J. Mylopoulos, F. Paci, T. T. Tun, and Y. Yu, "An Extended Ontology for Security Requirements", Advanced Information Systems Engineering Workshops, vol. 83: Springer Berlin Heidelberg, pp. 622-636, 2011. Abstract

10.1007/978-3-642-22056-2_64

Karsai, G., F. Massacci, L. J. Osterweil, and I. Schieferdecker, "Evolving Embedded Systems", IEEE Computer, vol. 43, issue 5, 5/2010.
Felici, M., V. Meduri, B. Solhaug, and A. Tedeschi, "Evolutionary risk analysis: Expert judgement", Computer safety, reliability, and security (SAFECOMP), Italy, Springer, 09/2011.
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.
Omerovic, A., B. Solhaug, and K. Stølen, "Evaluation of Experiences from Applying the PREDIQT Method in an Industrial Case Study", SINTEF report: SINTEF, 01/2011.
Omerovic, A., B. Solhaug, and K. Stølen, "Evaluation of experiences from applying the PREDIQT method in an industrial case study", Secure System Integration and Reliability Improvement (SSIRI), Korea, IEEE Computer Society, 06/2011.
Houmb, S. H., S. Islam, E. Knauss, J. Jürjens, and K. Schneider, "Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec", Requirements Engineering Journal, vol. 15(1), 2010.
C
Yskout, K., R. Scandariato, and W. Joosen, Change patterns: Co-evolving requirements and architecture, : K.U.Leuven, 08/2010.
Yskout, K., R. Scandariato, and W. Joosen, "Change Patterns: Co-evolving Requirements and Architecture", Software and Systems Modeling: Springer, 2011.

to appear

Yskout, K., R. Scandariato, and W. Joosen, "Change Patterns: Co-evolving Requirements and Architecture", Software and Systems Modeling: Springer, Submitted.
B
Philippaerts, P., F. Vogels, J. Smans, B. Jacobs, and F. Piessens, "The Belgian electronic identity card: a verification case study", Proceedings of the International Workshop Automated Verification of Critical Systems (AVOCS'11): Elsevier, 2011.

Newcastle (UK), 12-14 September 2011, to appear

A
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

Solhaug, B., Analysing Risk in Practice: The CORAS Approach to Model-Driven Risk Analysis - Tutorial at SECURWARE'11, , 2011.
Solhaug, B., Analysing Risk in Practice: The CORAS Approach to Model-Driven Risk Analysis - Tutorial at ICISS'11, , 2011.