Task-Structured Probabilistic I/O Automata
In the Probabilistic I/O Automata (PIOA) framework, nondeterministicchoices are resolved using perfect-information schedulers,which are similar to history-dependent policies for Markov decision processes(MDPs). These schedulers are too powerful in the setting of securityanalysis, leading to unrealis...
| Autori principali: | , , , , , , |
|---|---|
| Altri autori: | |
| Lingua: | en_US |
| Pubblicazione: |
2006
|
| Accesso online: | http://hdl.handle.net/1721.1/32525 |