Searching for authors named "Maria Grazia Buscemi" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Symbolic Analysis of Crypto-Protocols based on Modular Exponentiation
- … and Maria Grazia Buscemi 2 1 Dipartimento di Sistemi e Informatica, Università di Firenze, Italy. 2…
- Cited by 5 (2 self) – Add To MetaCart
-
A method for symbolic analysis of security protocols
- …A Method for Symbolic Analysis of Security Protocols ⋆ Michele Boreale 1 and Maria Grazia Buscemi…
- Cited by 1 (0 self) – Add To MetaCart
-
A framework for the analysis of security protocols
- … for the Analysis of Security Protocols ⋆ Michele Boreale 1 and Maria Grazia Buscemi 2 1 Dipartimento di Sistemi e…
- Cited by 23 (4 self) – Add To MetaCart
-
Experimenting with STA, a tool for automatic analysis of security protocols
- … Superiore e Strutture di Tipi). Maria Grazia Buscemi Dipartimento di Matematica e Informatica Università di…
- Cited by 9 (6 self) – Add To MetaCart
-
Cc-pi: A constraint-based language for specifying service level agreements
- …CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements ⋆ Maria Grazia Buscemi…
- Cited by 12 (2 self) – Add To MetaCart
-
Open Bisimulation for the Concurrent Constraint Pi-calculus ⋆
- …Open Bisimulation for the Concurrent Constraint Pi-calculus ⋆ Maria Grazia Buscemi 1 and Ugo…
- Cited by 1 (0 self) – Add To MetaCart
-
A general name binding mechanism
- …A general name binding mechanism ⋆ Michele Boreale 1 , Maria Grazia Buscemi 2 , and Ugo Montanari…
- Cited by 3 (0 self) – Add To MetaCart
-
D-fusion: a distinctive fusion calculus
- …D-Fusion: a Distinctive Fusion Calculus Michele Boreale 1 , Maria Grazia Buscemi 2 , and Ugo…
- Cited by 11 (1 self) – Add To MetaCart
-
A General Name Binding Mechanism
- …A general name binding mechanism Michele Boreale 1 , Maria Grazia Buscemi 2 , and Ugo Montanari 2…
- Add To MetaCart
-
Full Presentations Believing the Integrity of a System...................................... 3
- …, Maria Grazia Buscemi, Carlos Caleiro, Iliano Cervesato, Luca Compagna, Ricardo Corin, Giorgio Delzanno…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
