Automatic testing equivalence verification of spi calculus specifications
Testing equivalence is a powerful means for expressing the security properties of
cryptographic protocols, but its formal verification is a difficult task because of the …
cryptographic protocols, but its formal verification is a difficult task because of the …
[引用][C] Automatic testing equivalence verification of spi calculus specifications
L Durante, R Sisto, A Valenzano - ACM TRANSACTIONS ON …, 2003 - iris.polito.it
Automatic testing equivalence verification of spi calculus specifications IRIS IRIS Home Sfoglia
Macrotipologie & tipologie Autore Titolo Riviste Serie IT Italiano Italiano English English LOGIN …
Macrotipologie & tipologie Autore Titolo Riviste Serie IT Italiano Italiano English English LOGIN …