Modeling Computational Security in Long-Lived Systems, Version 2
- Ran Canetti
- Ling Cheung
- et al.
- 2008
- Dagstuhl Seminar Proceedings 2008
Conference paper
Publications
4 results for Dilsun Kaynar
Analyzing security protocols using time-bounded task-PIOAs
- Ran Canetti
- Ling Cheung
- et al.
- 2008
- Discrete Event Dynamic Systems: Theory and Applications
PaperCompositional security for task-PIOAs
- Ran Canetti
- Ling Cheung
- et al.
- 2007
- CSF 2007
Conference paperTask-structured probabilistic I/O automata
- Ran Canetti
- Ling Cheung
- et al.
- 2006
- WODES 2006
Conference paper