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