{"id":"https://openalex.org/W2025254182","doi":"https://doi.org/10.1142/s0129054106004121","title":"EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS","display_name":"EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS","publication_year":2006,"publication_date":"2006-08-01","ids":{"openalex":"https://openalex.org/W2025254182","doi":"https://doi.org/10.1142/s0129054106004121","mag":"2025254182"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054106004121","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054106004121","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059685216","display_name":"Ivan Cibrario Bertolotti","orcid":"https://orcid.org/0000-0002-9607-9993"},"institutions":[{"id":"https://openalex.org/I4210100607","display_name":"Institute of Electronics, Computer and Telecommunication Engineering","ror":"https://ror.org/00n4jbh84","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210100607","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210130157","display_name":"Institute of Informatics and Telematics","ror":"https://ror.org/02gdcn153","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"IVAN CIBRARIO BERTOLOTTI","raw_affiliation_strings":["IEIIT-CNR, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy"],"affiliations":[{"raw_affiliation_string":"IEIIT-CNR, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy","institution_ids":["https://openalex.org/I4210100607","https://openalex.org/I4210130157"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073515654","display_name":"Luca Durante","orcid":"https://orcid.org/0000-0001-9319-7620"},"institutions":[{"id":"https://openalex.org/I4210100607","display_name":"Institute of Electronics, Computer and Telecommunication Engineering","ror":"https://ror.org/00n4jbh84","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210100607","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210130157","display_name":"Institute of Informatics and Telematics","ror":"https://ror.org/02gdcn153","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"LUCA DURANTE","raw_affiliation_strings":["IEIIT-CNR, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy"],"affiliations":[{"raw_affiliation_string":"IEIIT-CNR, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy","institution_ids":["https://openalex.org/I4210100607","https://openalex.org/I4210130157"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021669146","display_name":"Riccardo Sisto","orcid":"https://orcid.org/0000-0002-3142-2383"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"RICCARDO SISTO","raw_affiliation_strings":["DAUIN, Politecnico di Torino, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy"],"affiliations":[{"raw_affiliation_string":"DAUIN, Politecnico di Torino, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067697252","display_name":"Adriano Valenzano","orcid":"https://orcid.org/0000-0003-1238-0808"},"institutions":[{"id":"https://openalex.org/I4210130157","display_name":"Institute of Informatics and Telematics","ror":"https://ror.org/02gdcn153","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210100607","display_name":"Institute of Electronics, Computer and Telecommunication Engineering","ror":"https://ror.org/00n4jbh84","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210100607","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ADRIANO VALENZANO","raw_affiliation_strings":["IEIIT-CNR, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy"],"affiliations":[{"raw_affiliation_string":"IEIIT-CNR, C.so Duca degli Abruzzi 24, Torino, I-10129, Italy","institution_ids":["https://openalex.org/I4210100607","https://openalex.org/I4210130157"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5059685216"],"corresponding_institution_ids":["https://openalex.org/I4210100607","https://openalex.org/I4210130157"],"apc_list":null,"apc_paid":null,"fwci":0.3018,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62131967,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"04","first_page":"815","last_page":"832"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11800","display_name":"User Authentication and Security Systems","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.7101664543151855},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6862240433692932},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5256463289260864},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5214847326278687},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4596928656101227},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.44902288913726807},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4185831844806671},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3840053379535675},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.351059228181839},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22225144505500793},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.14621266722679138}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7101664543151855},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6862240433692932},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5256463289260864},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5214847326278687},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4596928656101227},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.44902288913726807},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4185831844806671},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3840053379535675},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.351059228181839},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22225144505500793},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.14621266722679138},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054106004121","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054106004121","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W2005836640","https://openalex.org/W2032577199","https://openalex.org/W2052539228","https://openalex.org/W2063608931","https://openalex.org/W2115674733","https://openalex.org/W2128932399","https://openalex.org/W2133126578","https://openalex.org/W2146973388","https://openalex.org/W2159435827","https://openalex.org/W2175661655","https://openalex.org/W2571119887","https://openalex.org/W3162919972"],"related_works":["https://openalex.org/W2289378658","https://openalex.org/W1531360494","https://openalex.org/W2093529019","https://openalex.org/W87530933","https://openalex.org/W154233216","https://openalex.org/W2102905434","https://openalex.org/W2626486901","https://openalex.org/W1988007309","https://openalex.org/W1497257050","https://openalex.org/W1687167769"],"abstract_inverted_index":{"Testing":[0],"equivalence":[1],"is":[2,18,24],"a":[3,19,65,98],"quite":[4],"powerful":[5],"way":[6],"of":[7,11,90],"expressing":[8],"security":[9],"properties":[10],"cryptographic":[12],"protocols,":[13],"but":[14],"its":[15],"formal":[16],"verification":[17,40],"difficult":[20],"task,":[21],"because":[22],"it":[23,46],"based":[25,33],"on":[26,34,48,56],"universal":[27],"quantification":[28],"over":[29],"contexts.":[30],"A":[31],"technique":[32,66,96],"state":[35],"exploration":[36],"to":[37,104],"address":[38],"this":[39],"problem":[41],"has":[42],"previously":[43],"been":[44],"presented;":[45],"relies":[47],"an":[49],"environment-sensitive":[50],"labelled":[51],"transition":[52],"system":[53],"(ES-LTS)":[54],"and":[55,93],"symbolic":[57],"term":[58],"representation.":[59],"This":[60],"paper":[61],"shows":[62],"that":[63,81,94],"such":[64],"can":[67,85],"be":[68],"enhanced":[69],"by":[70],"exploiting":[71],"symmetries":[72],"found":[73],"in":[74],"the":[75,82,88,91,95],"ES-LTS":[76,92],"structure.":[77],"Experimental":[78],"results":[79],"show":[80],"proposed":[83],"enhancement":[84],"substantially":[86],"reduce":[87],"size":[89],"as":[97],"whole":[99],"compares":[100],"favorably":[101],"with":[102],"respect":[103],"related":[105],"work.":[106]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}