| A Probabilistic Framework for Security Scenarios with Dependent Actions |
| English |
| Kordy, Barbara [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Schweitzer, Patrick [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Pouly, Marc [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SnT) > >] |
| 2014 |
| The 11th International Conference on Integrated Formal Methods (iFM'14), Bertinoro, Italy |
| Yes |
| International |
| The 11th International Conference on Integrated Formal Methods (iFM'14) |
| from 09-09-2014 to 11-09-2014 |
| http://hdl.handle.net/10993/25979 |