{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T03:11:18Z","timestamp":1648609878349},"reference-count":12,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2006,8]]},"abstract":"<jats:p> Testing equivalence is a quite powerful way of expressing security properties of cryptographic protocols, but its formal verification is a difficult task, because it is based on universal quantification over contexts. A technique based on state exploration to address this verification problem has previously been presented; it relies on an environment-sensitive labelled transition system (ES-LTS) and on symbolic term representation. This paper shows that such a technique can be enhanced by exploiting symmetries found in the ES-LTS structure. Experimental results show that the proposed enhancement can substantially reduce the size of the ES-LTS and that the technique as a whole compares favorably with respect to related work. <\/jats:p>","DOI":"10.1142\/s0129054106004121","type":"journal-article","created":{"date-parts":[[2006,8,4]],"date-time":"2006-08-04T22:37:04Z","timestamp":1154731024000},"page":"815-832","source":"Crossref","is-referenced-by-count":0,"title":["EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS"],"prefix":"10.1142","volume":"17","author":[{"given":"IVAN CIBRARIO","family":"BERTOLOTTI","sequence":"first","affiliation":[{"name":"IEIIT-CNR, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"LUCA","family":"DURANTE","sequence":"additional","affiliation":[{"name":"IEIIT-CNR, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"RICCARDO","family":"SISTO","sequence":"additional","affiliation":[{"name":"DAUIN, Politecnico di Torino, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ADRIANO","family":"VALENZANO","sequence":"additional","affiliation":[{"name":"IEIIT-CNR, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","first-page":"267","volume":"5","author":"Abadi M.","journal-title":"Nordic J. Comput."},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539700377864"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1989.0125"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363528"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1145\/941566.941570"},{"key":"rf12","volume-title":"Coloured Petri nets: basic concepts, analysis methods and practical use","author":"Jensen K.","year":"1995"},{"key":"rf16","first-page":"274","volume":"13","author":"Millen J. K.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"rf19","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"Paulson L. C.","journal-title":"J. Comput. Sec."},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1109\/32.713329"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1145\/350887.350891"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054106004121","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T00:40:27Z","timestamp":1565138427000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054106004121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,8]]},"references-count":12,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2006,8]]}},"alternative-id":["10.1142\/S0129054106004121"],"URL":"https:\/\/doi.org\/10.1142\/s0129054106004121","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,8]]}}}