{"id":"https://openalex.org/W1581890033","doi":"https://doi.org/10.1108/ijwis-11-2014-0042","title":"Formal and semi-formal verification of a web voting system","display_name":"Formal and semi-formal verification of a web voting system","publication_year":2015,"publication_date":"2015-06-03","ids":{"openalex":"https://openalex.org/W1581890033","doi":"https://doi.org/10.1108/ijwis-11-2014-0042","mag":"1581890033"},"language":"en","primary_location":{"id":"doi:10.1108/ijwis-11-2014-0042","is_oa":false,"landing_page_url":"https://doi.org/10.1108/ijwis-11-2014-0042","pdf_url":null,"source":{"id":"https://openalex.org/S145159096","display_name":"International Journal of Web Information Systems","issn_l":"1744-0084","issn":["1744-0084","1744-0092"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319811","host_organization_name":"Emerald Publishing Limited","host_organization_lineage":["https://openalex.org/P4310319811"],"host_organization_lineage_names":["Emerald Publishing Limited"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Web Information Systems","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/A5032325980","display_name":"Maximiliano Cristi\u00e1","orcid":"https://orcid.org/0000-0001-9163-2609"},"institutions":[{"id":"https://openalex.org/I4210109384","display_name":"Centro Internacional Franco-Argentino de Ciencias de la Informaci\u00f3n y de Sistemas","ror":"https://ror.org/02m19wv39","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I21491767","https://openalex.org/I4141589","https://openalex.org/I4210107757","https://openalex.org/I4210109384","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Maximiliano Cristia","raw_affiliation_strings":["CIFASIS and UNR, Rosario, Argentina","(CIFASIS and UNR, Rosario, Argentina)"],"affiliations":[{"raw_affiliation_string":"CIFASIS and UNR, Rosario, Argentina","institution_ids":["https://openalex.org/I4210109384"]},{"raw_affiliation_string":"(CIFASIS and UNR, Rosario, Argentina)","institution_ids":["https://openalex.org/I4210109384"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110566216","display_name":"Claudia Frydman","orcid":"https://orcid.org/0000-0002-9061-4318"},"institutions":[{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Claudia Frydman","raw_affiliation_strings":["LSIS-CIFASIS, Marseille, France","Laboratoire des Sciences de l'Information et des Syst\u00e8mes"],"affiliations":[{"raw_affiliation_string":"LSIS-CIFASIS, Marseille, France","institution_ids":[]},{"raw_affiliation_string":"Laboratoire des Sciences de l'Information et des Syst\u00e8mes","institution_ids":["https://openalex.org/I4210114274"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5032325980"],"corresponding_institution_ids":["https://openalex.org/I4210109384"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.04786757,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"11","issue":"2","first_page":"183","last_page":"204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9969000220298767,"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"}},"topics":[{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9969000220298767,"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/T10927","display_name":"Access Control and Trust","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.8409521579742432},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8242477774620056},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.669357419013977},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6050928235054016},{"id":"https://openalex.org/keywords/voting","display_name":"Voting","score":0.5175351500511169},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5033604502677917},{"id":"https://openalex.org/keywords/electronic-voting","display_name":"Electronic voting","score":0.43899938464164734},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.43216168880462646},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4283655881881714},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.36186715960502625},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3526516556739807},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2545314133167267}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8409521579742432},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8242477774620056},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.669357419013977},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6050928235054016},{"id":"https://openalex.org/C520049643","wikidata":"https://www.wikidata.org/wiki/Q189760","display_name":"Voting","level":3,"score":0.5175351500511169},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5033604502677917},{"id":"https://openalex.org/C2780612046","wikidata":"https://www.wikidata.org/wiki/Q926161","display_name":"Electronic voting","level":4,"score":0.43899938464164734},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.43216168880462646},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4283655881881714},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.36186715960502625},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3526516556739807},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2545314133167267},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1108/ijwis-11-2014-0042","is_oa":false,"landing_page_url":"https://doi.org/10.1108/ijwis-11-2014-0042","pdf_url":null,"source":{"id":"https://openalex.org/S145159096","display_name":"International Journal of Web Information Systems","issn_l":"1744-0084","issn":["1744-0084","1744-0092"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319811","host_organization_name":"Emerald Publishing Limited","host_organization_lineage":["https://openalex.org/P4310319811"],"host_organization_lineage_names":["Emerald Publishing Limited"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Web Information Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6200000047683716,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W62808609","https://openalex.org/W87461448","https://openalex.org/W131456944","https://openalex.org/W136337648","https://openalex.org/W603420404","https://openalex.org/W1500604094","https://openalex.org/W1516468169","https://openalex.org/W1548738088","https://openalex.org/W1551782231","https://openalex.org/W1562131506","https://openalex.org/W1581674879","https://openalex.org/W1582995952","https://openalex.org/W1649157701","https://openalex.org/W1688986998","https://openalex.org/W1717223777","https://openalex.org/W1996228525","https://openalex.org/W1998490923","https://openalex.org/W2001598892","https://openalex.org/W2003313790","https://openalex.org/W2004751230","https://openalex.org/W2031111340","https://openalex.org/W2071575445","https://openalex.org/W2074871890","https://openalex.org/W2100912704","https://openalex.org/W2112172944","https://openalex.org/W2126133754","https://openalex.org/W2129384397","https://openalex.org/W2142667604","https://openalex.org/W2144973245","https://openalex.org/W2146972408","https://openalex.org/W2169102479","https://openalex.org/W2172146003","https://openalex.org/W2181384422","https://openalex.org/W2282776789","https://openalex.org/W2332798606","https://openalex.org/W2491694540","https://openalex.org/W2847777968","https://openalex.org/W3160698033","https://openalex.org/W4232794203","https://openalex.org/W4240354288","https://openalex.org/W4285030030","https://openalex.org/W4298313015","https://openalex.org/W6685636529"],"related_works":["https://openalex.org/W4311463983","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1553537032","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"Purpose":[0],"\u2013":[1,106,130,156,167],"This":[2,107],"paper":[3],"aims":[4],"to":[5,11,64,96,123,151,176],"present":[6],"the":[7,13,17,29,53,57,66,88,94,110,132,143,146,161],"verification":[8,118],"process":[9,108],"conducted":[10,75],"assess":[12],"functional":[14,99],"correctness":[15,144],"of":[16,103,112,140,145,160],"voting":[18,62],"system.":[19],"Consejo":[20],"Nacional":[21],"de":[22],"Investigaciones":[23],"Cient\u00edficas":[24],"y":[25],"T\u00e9cnicas":[26],"(CONICET)":[27],"is":[28,109],"most":[30],"important":[31],"research":[32,51],"institution":[33],"in":[34],"Argentina.":[35],"It":[36],"depends":[37],"directly":[38],"from":[39,82,120],"Argentina\u2019s":[40],"President":[41],"but":[42],"its":[43],"internal":[44],"authorities":[45],"are":[46,173],"elected":[47],"by":[48],"around":[49],"8,000":[50],"across":[52],"country.":[54],"During":[55],"2011,":[56],"CONICET":[58,74,92],"developed":[59],"a":[60,98,137],"Web":[61,77,177],"system":[63,89],"replace":[65],"traditional":[67],"mail-based":[68],"process.":[69],"In":[70],"2012":[71],"and":[72,84,100,116,126,134,170],"2014,":[73],"two":[76],"election":[78],"with":[79],"no":[80],"complaints":[81],"candidates":[83],"voters.":[85],"Before":[86],"moving":[87],"into":[90],"production,":[91],"asked":[93],"authors":[95],"conduct":[97],"security":[101],"assessment":[102],"it.":[104],"Design/methodology/approach":[105],"result":[111],"integrating":[113],"formal,":[114],"semi-formal":[115,171],"informal":[117],"activities":[119,172],"formal":[121,158],"proof":[122],"code":[124],"inspection":[125],"model-based":[127],"testing.":[128],"Findings":[129],"Given":[131],"resources":[133],"time":[135],"available,":[136],"reasonable":[138],"level":[139],"confidence":[141],"on":[142],"application":[147],"could":[148],"be":[149,164],"transmitted":[150],"senior":[152],"management.":[153],"Research":[154],"limitations/implications":[155],"A":[157],"specification":[159],"requirements":[162],"must":[163],"developed.":[165],"Originality/value":[166],"Formal":[168],"methods":[169],"seldom":[174],"applied":[175],"applications.":[178]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}