Date, Time: 13, Nov. Tuesday, 13:30-17:00
Meeting Place: Lecture room 1 on 20th

10 min for plasentation, 5 min for Q&A

Session 1: Requirements 13:30-14:05

Finding malicious intention in requirements
Tsumaki, Toshihiko

Writing Security Target for Common Criteria Using i*
Tahara, Tasuyuki

Session 2: Verification 14:00-14:35

Verifying Security Policies
Taguchi, Kenji

Verification of Security Patterns
Nagato, Naoyuki and Maruyama, Katsuhisa

Session 3: Sensor Network Security 14:35-15:10

Compromised node detection in event-driven sensor networks
Sei, Yuichi

Software Security Engineering in Wireless Sensor Networks
Platon, Eric

15:10-15:30 Break

Session 4: Security Pattern 15:30-16:40

A survey and future of security patterns
Yoshioka, Nobukazu

Relation-based Classification of Security Patterns
Kubo, Atsuto

Measuring Abstraction Levels of Security Patterns
Washizaki, Hironori

Vulnerability analysis based on Attack Patterns
Yoshioka, Nobukazu

16:40-17:00 Break