Dashboard > Security Software Engineering project > Home > UK-WS-20071121 > Information > Page Comparison
Log In   View a printable version of the current page.
compared with
Current by SSE Project Member
on Nov 28, 2007 08:01.

(show comment)
 
Key
These lines were removed. This word was removed.
These lines were added. This word was added.

View page history


There are 15 changes. View first change.

 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
  
  
Powered by Atlassian Confluence, the Enterprise Wiki. (Version: 2.3.1 Build:#643 Feb 03, 2007) - Bug/feature request - Contact Administrators