×
Compute Distance To:
Author ID: sisto.riccardo Recent zbMATH articles by "Sisto, Riccardo"
Published as: Sisto, Riccardo
Documents Indexed: 11 Publications since 1995
Co-Authors: 11 Co-Authors with 11 Joint Publications
63 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 7 times in 6 Documents Cited by Year
Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions. Zbl 1048.68515
Sisto, Riccardo; Valenzano, Adriano
2
1995
Using garbage collection in model checking. Zbl 0976.68574
Iosif, Radu; Sisto, Riccardo
1
2000
Introducing commutative and associative operators in cryptographic protocol analysis. Zbl 1279.94066
Cibario Bertolotti, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
1
2003
Using SPIN to verify security properties of cryptographic protocols. Zbl 1077.68696
Maggi, Paolo; Sisto, Riccardo
1
2002
A new knowledge representation strategy for cryptographic protocol analysis. Zbl 1031.94514
Cibrario B., Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
1
2003
Safe abstractions of data encodings in formal security protocol models. Zbl 1322.68070
Pironti, Alfredo; Sisto, Riccardo
1
2014
Safe abstractions of data encodings in formal security protocol models. Zbl 1322.68070
Pironti, Alfredo; Sisto, Riccardo
1
2014
Introducing commutative and associative operators in cryptographic protocol analysis. Zbl 1279.94066
Cibario Bertolotti, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
1
2003
A new knowledge representation strategy for cryptographic protocol analysis. Zbl 1031.94514
Cibrario B., Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
1
2003
Using SPIN to verify security properties of cryptographic protocols. Zbl 1077.68696
Maggi, Paolo; Sisto, Riccardo
1
2002
Using garbage collection in model checking. Zbl 0976.68574
Iosif, Radu; Sisto, Riccardo
1
2000
Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions. Zbl 1048.68515
Sisto, Riccardo; Valenzano, Adriano
2
1995

Citations by Year