Publications

2 results for Moses Liskov

Analyzing security protocols using time-bounded task-PIOAs
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2008
- Discrete Event Dynamic Systems: Theory and Applications
Task-structured probabilistic I/O automata
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2006
- WODES 2006