Table of Contents

Workshop Outputs

• Outputs of Workshop(members only)

Workshop Program

21-23 November 2007 @ The Open University, Milton Keynes, UK

Detailed Programme - Day 1: 21 November 2007

Session 1: Security Patterns (Chair: Dr. Jan Jürjens)

• Time: 11:30 - 13:00
• Place: Berrill Lecture Theatre, Berrill Building

11:30 A Survey and Future of Security Patterns

• Nobukazu Yoshioka (NII)

11:50 Relation-based Classification of Security Patterns

• Hironori Washizaki (NII)

12:10 Problems and Patterns : Some Thoughts

• Professor Michael Jackson (OU)

12:30 Discussion

Session 2: Short Papers (Chair: Dr. Charles Haley)

• Time: 14:00 - 15:00
• Place: Berrill Lecture Theatre, Berrill Building

14:00 Writing Security Targets for Common Criteria Using i*

• Tasuyuki Tahara (NII)

14:10 Elicitation of Requirements Compliant to Regulations

• Motoshi Saeki (NII)

14:20 Extracting Pre-histories of Quality-concerned Software Modification from Version Archives

• Shinpai Hayashi (NII)

14:30 Productivity of finding hazardous phenomena

• Takako Nakatani (NII)

14:40 Formal SpecificationGenerator for KAOS

• Hiroyuki Nakagawa (NII)

14:50 Compromised Node Detection in Event-Driven Sensor Networks

• Yuichi Sei (NII)

Session 3: Security Education (Chair: Prof. Kenji Taguchi)

• Time: 15:30 - 17:00
• Place: Berrill Lecture Theatre, Berrill Building

15:30 Placing Computer Security at the Heart of Learning

• Blaine Price / Mike Richards (OU)

15:50 TopSE Lecture: Security Verification

• Fuyuki Ishikawa

16:10 From "Computer Security" to "Information Assurance": educational perspectives

• Peter Sommer (OU)

16:30 Discussion

Detailed Programme - Day 2: 22 November 2007

Session 4: Security Requirements and Engineering (Chair: Dr. Arosha Bandara)

• Time: 09:30 - 10:45
• Place: Room S3, Training and Development Centre, Wilson Building

9:30 Security Requirements Elicitation using Scenarios

• Hiroya Itoga (NII)

9:50 Finding Malicious Intentions in Requirements

• Toshihiko Tsumaki (NII)

10:10 Software Security Engineering in Wireless Sensor Networks

• Eric Platon (NII)
  10:30 Discussion

Session 5: Policy-based Security Management (Chair: Dr. Jonathan Moffett)

• Time: 15:00 - 16:00
• Place: Room S3, Training and Development Centre, Wilson Building

15:00 Policy Specification and Analysis for Security Management

• Arosha Bandara (OU)

15:20 Verifying Security Policies

• Kenji Taguchi (NII)

15:40 Discussion

Working Session: Develop Position Papers

• Time: 16:30 - 17:30
• Place: Room S3, Training and Development Centre, Wilson Building

Detailed Programme - Day 3: 23 November 2007

Working Session: Develop Position Papers

• Time: 09:30 - 11:30
• Place: Room S3, Training and Development Centre, Wilson Building

Session 6: Position Paper Presentations (Chair: Prof. Motoshi Saeki)

• Time: 11:45 - 12:30
• Place: Room S3, Training and Development Centre, Wilson Building