Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 40 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is J  [Clear All Filters]
Report
Yskout, K., R. Scandariato, and W. Joosen, Change patterns: Co-evolving requirements and architecture, : K.U.Leuven, 08/2010.
Jacobs, B., and F. Piessens, Expressive modular fine-grained concurrency specification (Extended version), , no. CW590: Department of Computer Science, K.U.Leuven, July, 2010.
Yskout, K., R. Scandariato, and W. Joosen, Using change patterns to incorporate evolving trust relationships into a software architecture, , 03/2010.
Journal Article
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.
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.
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.
Mouratidis, H., and J. Jürjens, "From Goal-Driven Security Requirements Engineering to Secure Design", International Journal of Intelligent Systems, vol. 25, issue 8, 2010.
Julliand, J., P. - A. Masson, R. Tissot, and P. - C. Bué, "Generating Tests from B Specifications and Dynamic Selection Criteria", FAC, Formal Aspects of Computing, vol. 23, no. 1, pp. 3–19, 2011.

Revised and extended version of a paper from the ABZ'08 conference

Jürjens, J., A. Bauer, and Y. Yu, "Run-time Security Traceability for Evolving Systems", The Computer Journal: Oxford Univ. Press, 2010.
Bauer, A., and J. Jürjens, "Run-time Verification of Cryptographic Protocols", Journal for Computers & Security, vol. 29, 2010.
Jürjens, J., and B. Nuseibeh, "Software Engineering for Secure Systems", 33rd International Conference on Software Engineering (ICSE 2011), 2011.
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
Schmidt, H., and J. Jürjens, UMLsec4UML2 - Adopting UMLsec to Support UML2, , 02/2011.
Conference Proceedings
Pironti, A., and J. Jürjens, "Formally Based Black Box Monitoring of Security Protocols", International Symposium on Engineering Secure Software and Systems (ESSOS 2010): Springer-Verlag, 2010.
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.
Taubenberger, S., J. Jurjens, B. Nuseibeh, and Y. Yu, "Problem Analysis of Traditional IT-Security Risk Assessment Methods – An Experience Report", IFIP SEC 2011, 2011.
Conference Paper
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

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

Jacobs, B., and F. Piessens, "Expressive modular fine-grained concurrency specification", Principles of Programming Languages (POPL 2011), January, 2011.
Jacobs, B., and F. Piessens, "Failboxes: Provably safe exception handling", ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genova, Italy, July 6-10, 2009, Proceedings, vol. 5653: Springer-Verlag, pp. 470–494, 07/2009.
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.
Jürjens, J., and H. Schmidt, "Model-Based Secure Software Development", 8th International Workshop on Security in Information Systems (WOSIS 2011), 13th International Conference on Enterprise Information Systems (ICEIS 2011), Beijing, June 2011, 2011.
Jürjens, J., "Model-Based Security Engineering for Evolving Systems", 11th School on Formal Methods (SFM 2011), Bertinoro (Italy) 13-18 June 2011, Springer, 2011.
Jürjens, J., "Model-based Security Engineering with UML", 26th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010), Madrid, 21-25 Sep. 2010, 2010.