2nd International Workshop on Secure systems methodologies using patterns (Workshop SPattern'08 )

2008-09-03 [11:00 - 13:00] : Session 1: Security Pattern Organization

• Towards Precise and Certified Security Patterns
  Daniel Serrano , Antonio Maña , Athanasios-Dimitrios Sotirious


• Security Pattern Lattice: A Formal Model to Organize Security Patterns
  Achyanta Sarmah, Shyamanta M. Hazarika, Smriti K. Sinha


• An Ontological Interface for Software Developers to Select Security Patterns
  Paul El Khoury, Amine Mokhtari, Emmanuel Coquery, Mohand-Said Hacid



2008-09-03 [13:00 - 14:30] : Lunch Break

2008-09-03 [13:00 - 14:30] : Lunch Break

2008-09-03 [14:30 - 16:00] : Session 2: Security Pattern Development

• SERENITY Pattern-based Software Development Life-Cycle
  Francisco Sanchez-Cid, Antonio Maña


• Incorporating database systems into a secure software development methodology
  Eduardo B. Fernandez, Jan Jurjens, Nobukazu Yoshioka, Hironori Washizaki


• Using Security and Dependability Patterns for Reaction Processes
  Valentina Di Giacomo, Massimo Felici, Valentino Meduri, Domenico Presenza, Caro Riccucci, Alessandra Tedeschi



2008-09-03 [16:00 - 16:30] : Coffee Break

2008-09-03 [16:00 - 16:30] : Coffee Break

2008-09-03 [16:30 - 17:30] : Session 3: Security Pattern Application

• Patterns for Tactical VoIPoW Architectures
  Juan C. Pelaez


• Eliciting Security Requirements through Misuse Activities
  Fabricio A. Braz, Eduardo B. Fernandez, Michael VanHilst