Presentation | 2003/11/21 Global Timed Bisimulation on Timed Control Flow Graph And Application to Checking for Timing Attacks on Web Privacy Suguru SASAKI, Tadaaki TANIMOTO, Akio NAKATA, Teruo HIGASHINO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In recent years, the effective development methodology for software with real-time constraints is desired. Programmers sometimes change blanch structure in their codes to improve performance. This may change timing of I/O action of programs. Thus, programmers want to check whether timing behavior of I/O action is equivalent between original codes and optimized ones. In such verification, we think that verification of global timed bisimulation equivalence is useful. In this paper, we propose timed CFGs (Control Flow Graph), which represent control structure with real-time constraints of real-time software. And we show that verification of global timed bisimulation equivalence for timed CFGs can result in existing parametric verification of strong timed bisimulation equivalence. We also apply our approach to checking for timing attacks on Web privacy. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Real Tune Constraints / Timed CFG / Global Timed Bisimulation / Strong Timed Bisimulation / Timing Attack |
Paper # | DC2003-41 |
Date of Issue |
Conference Information | |
Committee | DC |
---|---|
Conference Date | 2003/11/21(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Dependable Computing (DC) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Global Timed Bisimulation on Timed Control Flow Graph And Application to Checking for Timing Attacks on Web Privacy |
Sub Title (in English) | |
Keyword(1) | Real Tune Constraints |
Keyword(2) | Timed CFG |
Keyword(3) | Global Timed Bisimulation |
Keyword(4) | Strong Timed Bisimulation |
Keyword(5) | Timing Attack |
1st Author's Name | Suguru SASAKI |
1st Author's Affiliation | Graduate School of Information Science and Technology, Osaka University() |
2nd Author's Name | Tadaaki TANIMOTO |
2nd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
3rd Author's Name | Akio NAKATA |
3rd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
4th Author's Name | Teruo HIGASHINO |
4th Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
Date | 2003/11/21 |
Paper # | DC2003-41 |
Volume (vol) | vol.103 |
Number (no) | 480 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |