Michele Bugliesi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

62 Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi: Compliance Preorders for Web Services. WS-FM 2009: 76-91

58 Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi: A Theory of Adaptable Contract-Based Service Composition. SYNASC 2008: 327-334

57 Michele Bugliesi, Damiano Macedonio, Sabina Rossi: Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN 2007: 282-296

47 Michele Bugliesi, Sabina Rossi: Non-interference proof techniques for the analysis of cryptographic protocols. Journal of Computer Security 13(1): 87-113 (2005)

40 Michele Bugliesi, Ambra Ceccato, Sabina Rossi: Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. FCT 2003: 364-375

Selection of 5 from 72 records - Michele Bugliesi has 50 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

62		Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi: Compliance Preorders for Web Services. WS-FM 2009: 76-91
58		Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi: A Theory of Adaptable Contract-Based Service Composition. SYNASC 2008: 327-334
57		Michele Bugliesi, Damiano Macedonio, Sabina Rossi: Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN 2007: 282-296
47		Michele Bugliesi, Sabina Rossi: Non-interference proof techniques for the analysis of cryptographic protocols. Journal of Computer Security 13(1): 87-113 (2005)
40		Michele Bugliesi, Ambra Ceccato, Sabina Rossi: Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. FCT 2003: 364-375