Automatic testing equivalence verification of spi calculus specifications

L Durante, R Sisto, A Valenzano - ACM Transactions on Software …, 2003 - dl.acm.org
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 …
被引用次数：83 相关文章

[引用][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 …