Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
haifa12 [2012/10/30 19:47] eran.yahav |
haifa12 [2012/10/31 07:19] eran.yahav |
||
---|---|---|---|
Line 50: | Line 50: | ||
| 15:30-15:55 | Reductions for Synthesis Procedures | Philippe Suter | | | 15:30-15:55 | Reductions for Synthesis Procedures | Philippe Suter | | ||
| 15:55-16:20 | Logico-Numerical Max-Strategy Iteration | Pavle Subotic | | | 15:55-16:20 | Logico-Numerical Max-Strategy Iteration | Pavle Subotic | | ||
- | | 16:20-16:45 | TBD | Markus Rabe || | + | | 16:20-16:45 | Information flow analysis and temporal logics| Markus Rabe || |
| 16:45-17:00 | short break || | | 16:45-17:00 | short break || | ||
| 17:00-18:00 | Management Committee Meeting || | | 17:00-18:00 | Management Committee Meeting || | ||
Line 290: | Line 290: | ||
(Joint work with Peter Schrammel, INRIA Grenoble) | (Joint work with Peter Schrammel, INRIA Grenoble) | ||
+ | |||
+ | ---- | ||
+ | **Information flow analysis and temporal logics** | ||
+ | //Markus Rabe// | ||
+ | |||
+ | Most analysis methods for information flow properties, such as noninterference, do not consider temporal restrictions. In practice, however, such properties rarely occur statically, but have to consider constraints such as when and under which conditions a variable has to be kept secret. I will present recent results on how to integrate information flow properties into temporal logics by introducing a new modal operator. | ||
+ | Finally, I will sketch upcoming work on integrating information flow properties in game logics such as ATL*. |