 |
|
|
|
| Papers |
|
Papers (co-)authored by Yuxin Deng
| [1] |
Yuxin Deng and Catuscia Palamidessi.
Axiomatizations for probabilistic finite-state behaviors.
Theoretical Computer Science, 373(1-2):92-114, 2007.
http://www.lix.polytechnique.fr/~catuscia/papers/Prob_Axiom/tcs.pdf. [ bib | http ] |
| [2] |
Yuxin Deng, Catuscia Palamidessi, and Jun Pang.
Weak probabilistic anonymity.
In Michael Backes and Andre Scedrov, editors, Proceedings of the
3rd International Workshop on Security Issues in Concurrency (SecCo), volume
180 (1) of Electronic Notes in Theoretical Computer Science, pages
55-76. Elsevier Science B.V., 2007.
http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/report_wa.pdf. [ bib ] |
| [3] |
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, and Jun Pang.
Metrics for action-labelled quantitative transition systems.
In Proceedings of the Third Workshop on Quantitative Aspects of
Programming Languages (QAPL 2005), volume 153 of Electronic Notes in
Theoretical Computer Science, pages 79-96. Elsevier Science Publishers,
2006.
http://www.lix.polytechnique.fr/~catuscia/papers/Metrics/QAPL/gts.pdf. [ bib ] |
| [4] |
Yuxin Deng, Jun Pang, and Peng Wu, 2006.
Personal Communication. [ bib ] |
| [5] |
Yuxin Deng, Jun Pang, and Peng Wu.
Measuring anonymity with relative entropy.
In T. Dimitrakos, F. Martinelli, P. Y. A. Ryan, and S. A. Schneider,
editors, Proc. of the of the 4th Int. Worshop on Formal Aspects in
Security and Trust, volume 4691 of LNCS, pages 65-79. Springer, 2006. [ bib ] |
| [6] |
Yuxin Deng and Catuscia Palamidessi.
Axiomatizations for probabilistic finite-state behaviors.
In Proceedings of FOSSACS'05, volume 3441 of Lecture Notes
in Computer Science, pages 110-124. Springer, 2005.
http://www.lix.polytechnique.fr/~catuscia/papers/Prob_Axiom/fossacs05.pdf. [ bib ] |
| [7] |
Yuxin Deng, Catuscia Palamidessi, and Jun Pang.
Compositional reasoning for probabilistic finite-state behaviors.
In Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, and
Roel C. de Vrijer, editors, Processes, Terms and Cycles: Steps on the
Road to Infinity, volume 3838 of Lecture Notes in Computer Science,
pages 309-337. Springer, 2005.
http://www.lix.polytechnique.fr/~catuscia/papers/Yuxin/BookJW/par.pdf. [ bib ] |
This file has been generated by bibtex2html 1.74
Back
Page maintainer: Catuscia Palamidessi