changes.
| | h1. Table of Contents |
| |  | |
| | {toc} |
| | |
| | ---- |
| | h1. Workshop Outputs |
| | |
| | - [Outputs of Workshop|Outputs of 2nd joint workshop on SSE](members only) |
| | |
| | h1. Workshop Program |
| | |
| | 21-23 November 2007 @ The Open University, Milton Keynes, UK |
| | |
| | h2. Detailed Programme - Day 1: 21 November 2007 |
| | |
 |  | |
| | h3. 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 |
| | |
| | h3. 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* |
| | | 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 IMPULSE: Analysis of Multi-Agent Systems based on KAOS Modelling |
| | | 14:40 Formal SpecificationGenerator for KAOS |
| | * Hiroyuki Nakagawa (NII) |
| | |
| | 14:50 Compromised Node Detection in Event-Driven Sensor Networks |
| | * Yuichi Sei (NII) |
| | |
 |  | h3. Session 3: Security Education (Chair: Prof. Kenji Taguchi) |
| | | h3. 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 |
| | |
| | h2. Detailed Programme - Day 2: 22 November 2007 |
| | |
 |  | |
| | h3. 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 |
| | |
| | h3. 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 |
| | |
| | h3. Working Session: Develop Position Papers |
 |  | |
| | * Time: 16:30 - 17:30 |
| | * Place: Room S3, Training and Development Centre, Wilson Building |
| | |
| | h2. Detailed Programme - Day 3: 23 November 2007 |
| | |
 |  | |
| | h3. Working Session: Develop Position Papers |
 |  | |
| | * Time: 09:30 - 11:30 |
| | * Place: Room S3, Training and Development Centre, Wilson Building |
| | |
| | h3. Session 6: Position Paper Presentations (Chair: Prof. Motoshi Saeki) |
 |  | |
| | * Time: 11:45 - 12:30 |
| | * Place: Room S3, Training and Development Centre, Wilson Building |
 | | |
| | |