Table of Contents

Workshop Outputs

• Outputs of Workshop(members only)

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.).

28 Mar (Wed)

13:00-13:15 Opening

The aim of the workshop and collaboration
Prof. Shinichi Honiden

13:15-14:00 Keynote: The Problems of Security

Prof. Bashar Nuseibeh

14:00-14:15 Break

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

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)

19:00-21:00 Banquet (at Happo-en)

29 Mar (Thu)

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

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

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

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)

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

30 Mar (Fri)

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)

12:00-12:15 Closing

Shinichi Honiden and Bashar Nuseibeh

• Workshop summary/next plan and actions

Committee

• Local Arrengement: Kenji Taguchi
• Voluntior Chair: Fuyuki Ishikawa
• Program Co-Chairs: Nobukazu Yoshioka, Haruhiko Kaiya