changes.
| | 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 |
| | | 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 |
| | | 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 |
| | | 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/Refactoring] 15:30-16:40 |
| | | 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 |