The 6th International Workshop on Software Engineering for Secure Systems (SESS'10)

New horizons for secure systems

Preliminary program

May 2

Session chair: Seok-Won Lee, University of North Carolina at Charlotte, USA
9:00
Introduction to the workshop
9:15
Invited talk by Donald Firesmith, Carnegie Mellon Software Engineering Institute. Engineering Safety and Security Requirements for Software-Intensive Systems
10:30-11:00 Coffee break
11:00
Markus Luckey, Andrea Baumann, Daniel Mendez-Fernandez, and Stefan Wagner. Reusing Security Requirements Using an Extended Quality Model.
11:30
Shamal Faily and Ivan Flechais. A Meta-Model for Usable Secure Requirements Engineering
12:00
Yan Wu, Robin Gandhi, and Harvey Siy. Using Semantic Templates to Study Vulnerabilities Recorded in Large Software Repositories
12:30-14:00 Lunch
Session chair: Mattia Monga, Università degli Studi di Milano, Italy
14:00
Sven Lachmund. Auto-Generating Access Control Policies for Applications by Static Analysis with User Input Recognition
14:30
Jianning Geng, Lin Liu, and Barrett R. Bryant. Towards a Personalized Privacy Management Framework (position paper)
14:50
David Byers and Nahid Shahmehri. Unified modeling of attacks, vulnerabilities and security activities (position paper)
15:10
Tanveer Mustafa, Michael Drouineaud, and Karsten Sohr. Towards Formal Specification and Verification of a Role-Based Authorization Engine using JML (position paper)
15:30-16:00 Coffee Break
16:00
Sarah Al-Azzani and Rami Bahsoon. Using Implied Scenarios In Security Testing
16:30
Angelo Ciampa, Corrado Aaron Visaggio and Massimiliano Di Penta. A heuristic-based approach for detecting SQL-injection vulnerabilities in Web applications (position paper)
16:50
Andrea Avancini and Mariano Ceccato. Towards Security Testing with Taint Analysis and Genetic Algorithms (position paper)
17:10
Poster session and wrap-up
19:00
Workshop dinner at African Café

Mattia Monga mattia.monga@unimi.it

Valid XHTML 1.0! Last modified: Fri Oct 15 14:37:08 CEST 2010