Dashboard > Security Software Engineering project > Home > The 1st joint workshop on Security Software Engineering > Information > Page Comparison
Log In   View a printable version of the current page.
Security Software Engineering project
The 1st joint workshop on Security Software Engineering
Version 27 by Nobukazu KAZ Yoshika
on Jul 18, 2007 12:51.

<< Changes from 26 to 27
compared with
Current by Nobukazu KAZ Yoshika
on Jul 18, 2007 12:52.
(show comment)
 
Key
These lines were removed. This word was removed.
These lines were added. This word was added.

View page history


There are 21 changes. View first change.

 \\
 {toc}\\ \\
 \\
 \\
 \\
 \\
 \\
  h1. Table of Contents
 {toc}
  
 ----
[Outputs of Workshop|Outputs of 1st joint workshop on SSE](members only)
  h1. Workshop Outputs
  
h2. Workshop Program
  - [Outputs of Workshop|Outputs of 1st joint workshop on SSE](members only)
  
h1. Workshop Program
  
 * Presentation type:
 ** Full: 20 min. presentation + 10 min. discussion
 ** Short: 15 min. presentation + 5 min. discussion
 ** Position: 5 min. presentation + 5 min. discussion
  
 At the end of each session, research topics, key issues, and possibility for joint work are discussed (10 min.).
  
h3. 28 Mar (Wed)
  h2. 28 Mar (Wed)
  
  
h4. 13:00-13:15 Opening
  h3. 13:00-13:15 Opening
  
 The aim of the workshop and collaboration
 Prof. Shinichi Honiden
  
h4. 13:15-14:00 Keynote: The Problems of Security
  h3. 13:15-14:00 Keynote: The Problems of Security
  
 Prof. Bashar Nuseibeh
  
 14:00-14:15 Break
  
h4. 14:15-15:55 Session 1 Requirements Engineering
  h3. 14:15-15:55 Session 1 Requirements Engineering
  
 Shinichi Honiden
  
 (Full) Arguing Security: A Framework for Security Requirements Engineering
 Charles Haley (The Open University)
  
 (Full) ORE: Ontology Driven Requirements Elicitation
 Motoshi Saeki (Tokyo Institute of Technology)
  
 (Short) Extracting safety requirements method for embedded software after hardware design
 Takako Nakatani (University of Tsukuba)
  
 (Position) Meaning of requirements and software - Analyze the Meaning of Requirements -
 Toshihiko Tsumaki (Nihon Unisys, Ltd.)
  
 15:55-16:10 Break
  
h4. 16:10-18:00 Session 2 Security Application
  h3. 16:10-18:00 Session 2 Security Application
  
 Bashar Nuseibeh
  
 (Full) Feature Interactions in Security Software Systems
 Armstrong Nhlabatsi (The Open University)
  
 (Full) Security Requirements and Contextual Variability
 Mohammed Salifu (The Open University)
  
 (Full) Spectrum Analysis of an Application Domain by using Software Quality Characteristics
 Haruhiko Kaiya (Shinshu University)
  
h4. 19:00-21:00 Banquet (at Happo-en)
  h3. 19:00-21:00 Banquet (at Happo-en)
  
  
h3. 29 Mar (Thu)
  h2. 29 Mar (Thu)
  
  
h4. 09:30-10:50 Session 3 Security Verification
  h3. 09:30-10:50 Session 3 Security Verification
  
 Atsushi Ohnishi
  
 (Full) A Framework for Defining Access Policies in Requirements Models
 Robert Crook (The Open University)
  
 (Short) Introduction to CSP-Prover - Towards Security Verification -
 Yoshinao Isobe (National Institute of AIST)
  
 (Short) Access Control Policy Verification using Model-Checking
 Hiroaki Kamoda (NTT DATA CORPORATION)
  
 10:50-11:05 Break
  
h4. 11:05-12:25 Session 4 Security Requirements Engineering (1)
  h3. 11:05-12:25 Session 4 Security Requirements Engineering (1)
  
 Jonathan Moffett
  
 (Full) Tracing and Validating Early Security Goal Aspects
 Yijun Yu (The Open University)
  
 (Short) Goal-oriented Security Requirements Analysis with HazOp Guide Words"
 Yasuyuki Tahara (National Institute of Informatics)
  
 (Short) Asset-based Misusecase Diagram
 Kenji Taguchi (National Institute of Informatics)
  
 12:30-13:30 Lunch
  
h4. 13:30-15:00 Session 5 Security Requirements Engineering (2)
  h3. 13:30-15:00 Session 5 Security Requirements Engineering (2)
  
 Charles Haley
  
 (Full) Some Open Issues in Security Requirements Engineering
 Jonathan Moffett (The Open University)
  
 (Full) Security Requirements Elicitation using Scenarios
 Atsushi Ohnishi (Ritsumeikan University)
  
 (Short) Analysis of Modification History by using Version Archives
 Shinpei Hayashi (Tokyo Institute of Technology)
  
 15:00-15:15 Break
  
h4. 15:15-17:15 Session 6 Policy/Security Design
  h3. 15:15-17:15 Session 6 Policy/Security Design
  
 Motoshi Saeki
  
 (Full) Analyzing Location Privacy Interface Requirements in Mobile Computing
 Blaine Price (The Open University)
  
 (Full) A Deception-Based Location Privacy Control Model
 Karim Adam (The Open University)
  
 (Short)Security Concern Refactoring: Increasing and Assessing the Security Level of Existing Software
 Katsuhisa Maruyama (Ritsumeikan University)
  
 (Short) A Development Method based on Security Patterns
 Nobukazu Yoshioka (National Institute of Informatics)
  
 (Position) Detecting Security Design Patterns
 Hironori Washizaki (National Institute of Informatics)
  
h4. 17:20-17:50 Steering Committee Meeting
  h3. 17:20-17:50 Steering Committee Meeting
  
 Classification of Challenge themes and Key issues
 Group discussion leaders:
 Kenichi Taguchi, Katsuhisa Maruyama, Yasuyuki Tahara, Haruhiko Kaiya, and Nobukazu Yoshioka
  
h3. 30 Mar (Fri)
  h2. 30 Mar (Fri)
  
  
h4. 10:00-12:00 Group Discussion and Presentation
  h3. 10:00-12:00 Group Discussion and Presentation
  
 Discussion topics for each group are
 - Are they important and keys?
 - Can we write research papers?
 - Who can tackle the theme?
 - Potential joint research,
 - Mile stone of joint research, and
 - Short term goal/target of paper submission.
  
 (Break inserted: 10:30-11:00)
  
h4. 12:00-12:15 Closing
  h3. 12:00-12:15 Closing
  
 Shinichi Honiden and Bashar Nuseibeh
 - Workshop summary/next plan and actions
  
h2. Committee
  h1. Committee
  
 Local Arrengement: Kenji Taguchi
 Voluntior Chair: Fuyuki Ishikawa
 Program Co-Chairs: Nobukazu Yoshioka, Haruhiko Kaiya
  - Local Arrengement: Kenji Taguchi
 - Voluntior Chair: Fuyuki Ishikawa
 - Program Co-Chairs: Nobukazu Yoshioka, Haruhiko Kaiya
Powered by Atlassian Confluence, the Enterprise Wiki. (Version: 2.3.1 Build:#643 Feb 03, 2007) - Bug/feature request - Contact Administrators