Tempus fugit: How to plug it

Journal of Logic and Algebraic Programming

Volumn 72, Issue 2, 2007, Pages 173-190

  Di Pierro, Alessandra ^a   Hankin, Chris ^b   Siveroni, Igor ^b   Wiklicky, Herbert ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Probabilistic processes; Program transformation; Security analysis; Timing leaks

Indexed keywords

ALGORITHMS; COMPUTER CRIME; PROBABILITY;

PROGRAM TRANSFORMATION; SECURITY ANALYSIS; TEMPUS FUGIT; TIMING LEAKS;

SECURITY OF DATA;

EID: 34250629239     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2007.02.007     Document Type: Article

References (24)

1. Di Pierro A., Hankin C., and Wiklicky H. Measuring the confinement of probabilistic systems. Theor. Comput. Sci. 340 1 (2005) 3-56
2. Agat J. Transforming out timing leaks. POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2000), ACM Press, New York, NY, USA 40-53
3. van Glabbeek R., Smolka S., and Steffen B. Reactive, generative and stratified models of probabilistic processes. Inform. Comput. 121 (1995) 59-80
4. Segala R., and Lynch N. Probabilistic simulations for probabilistic processes. Proceedings of CONCUR 94. Lecture Notes in Computer Science vol. 836 (1994), Springer Verlag 481-496
5. Kemeny J.G., and Snell J.L. Finite Markov Chains (1960), D. Van Nostrand Company
6. Jonsson B., Yi W., and Larsen K. Probabilistic Extentions of Process Algebras (2001), Elsevier Science, Amsterdam (Ch. 11, pp. 685-710, see [24])
7. Di Pierro A., Hankin C., and Wiklicky H. Quantitative relations and approximate process equivalences. In: Lugiez D. (Ed). Proceedings of CONCUR'03. Lecture Notes in Computer Science vol. 2761 (2003), Springer Verlag 508-522
8. Lampson B. A note on the confinement problem. Commun. ACM 16 10 (1973) 613-615
9. Goguen J., and Meseguer J. Security policies and security models. IEEE Symposium on Security and Privacy (1982), IEEE Computer Society Press 11-20
10. Gray III J. Towards a mathematical foundation for information flow security. Proceedings of the 1991 Symposium on Research in Security and Privacy (1991), IEEE, Oakland, California 21-34
11. Ryan P., and Schneider S. Process algebra and non-interference. J. Comput. Security 9 1/2 (2001) 75-103 (special Issue on CSFW-12)
12. Larsen K., and Skou A. Bisimulation through probabilistic testing. Inform. Comput. 94 (1991) 1-28
13. Focardi R., Gorrieri R., and Martinelli F. Real-time information flow analysis. IEEE J. Select. Areas Commun. 21 1 (2003) 20-35
14. Derisavi S., Hermanns H., and Sanders W.H. Optimal state-space lumping in Markov chains. Inform. Process. Lett. 87 6 (2003) 309-315
15. Focardi R., and Gorrieri R. Classification of security properties (Part I: Information Flow). Foundations of Security Analysis and Design, Tutorial Lectures. Lecture Notes in Computer Science vol. 2171 (2001), Springer Verlag 331-396
16. Paige R., and Tarjan R. Three partition refinement algorithms. SIAM J. Comput. 16 6 (1987) 973-989
17. Kocher P. Cryptanalysis of Diffie-Hellman, RSA, DSS, and other cryptosystems using timing attacks. In: Coppersmith D. (Ed). Advances in Cryptology, CRYPTO '95. Lecture Notes in Computer Science vol. 963 (1995), Springer-Verlag 171-183
18. Felten E.W., and Schneider M.A. Timing attacks on web privacy. Proceedings of CCS'00 (2000), ACM, Athens, Greece 25-32
19. R.J. Corin, S. Etalle, P.H. Hartel, A. Mader, Timed analysis of security protocols, J. Comput. Security, in press.
20. Abadi M. Private authentication. In: Dingledine R., and Syverson P.F. (Eds). 2nd Int. Workshop on Privacy Enhancing Technologies. Lecture Notes in Computer Science vol. 2482 (2002), Springer Verlag 27-40
21. Gorrieri R., Lanotte R., Maggiolo-Schettini A., Martinelli F., Tini S., and Tronci E. Automated analysis of timed security: a case study on web privacy. J. Inform. Security 2 (2004) 168-186
22. Gorrieri R., and Martinelli F. A simple framework for real-time cryptographic protocol analysis with composition proof rules. Sci. Comput. Program. 50 (2004) 23-49
23. M. Buchholtz, S. Gilmore, J. Hillston, F. Nielson, Securing statically-verified communications protocols against timing attacks, in: 1st International Workshop on Practical Applications of Stochastic Modelling (PASM 2004), vol. 128, 2005, pp. 123-143.
24. In: Bergstra J., Ponse A., and Smolka S. (Eds). Handbook of Process Algebra (2001), Elsevier Science, Amsterdam