Definition and Analysis of Election Processes
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behaviors by election officials. The Little-JIL language is used to model example election processes, and various election wo...
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 185 |
|---|---|
| container_issue | |
| container_start_page | 178 |
| container_title | |
| container_volume | |
| creator | Raunak, Mohammad S. Chen, Bin Elssamadisy, Amr Clarke, Lori A. Osterweil, Leon J. |
| description | This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behaviors by election officials. The Little-JIL language is used to model example election processes, and various election worker fraudulent behaviors. The FLAVERS finite-state verification system is then used to determine whether different combinations of election worker behaviors cause the process to produce incorrect election results or whether protective actions can be used to thwart these threats. |
| doi_str_mv | 10.1007/11754305_20 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_19105454</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19105454</sourcerecordid><originalsourceid>FETCH-LOGICAL-p219t-f5e0f435fac150c2b3f9cf15ed12e50dc54be2e9b87b5acae04ae3cc2722d44f3</originalsourceid><addsrcrecordid>eNpNkLtOw0AQRZeXRBRc8QNuKCgMMzuzOFtGITykSFBAvVqvZ5HB2JY3Tf4eQygyzS3OvVMcpS4RbhCgvEUsDRMYp-FIZbZckGEg1oB8rGZ4h1gQsT05YGgtn6oZEOjClkznKkvpE6ajaYZmpop7iU3XbJu-y31X58vOt7vUpLyP-bqV8Adexz5ISpIu1Fn0bZLsP-fq_WH9tnoqNi-Pz6vlphg02m0RjUBkMtEHNBB0RdGGiEZq1GKgDoYr0WKrRVkZH7wAe6EQdKl1zRxprq72fwefgm_j6LvQJDeMzbcfdw4tguFJxlxd73tpQt2HjK7q-6_kENyvMnegjH4Ash9Xow</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Definition and Analysis of Election Processes</title><source>Springer Books</source><creator>Raunak, Mohammad S. ; Chen, Bin ; Elssamadisy, Amr ; Clarke, Lori A. ; Osterweil, Leon J.</creator><contributor>Raffo, David M. ; Wernick, Paul ; Pfahl, Dietmar ; Wang, Qing</contributor><creatorcontrib>Raunak, Mohammad S. ; Chen, Bin ; Elssamadisy, Amr ; Clarke, Lori A. ; Osterweil, Leon J. ; Raffo, David M. ; Wernick, Paul ; Pfahl, Dietmar ; Wang, Qing</creatorcontrib><description>This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behaviors by election officials. The Little-JIL language is used to model example election processes, and various election worker fraudulent behaviors. The FLAVERS finite-state verification system is then used to determine whether different combinations of election worker behaviors cause the process to produce incorrect election results or whether protective actions can be used to thwart these threats.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540341994</identifier><identifier>ISBN: 3540341994</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540342014</identifier><identifier>EISBN: 354034201X</identifier><identifier>DOI: 10.1007/11754305_20</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Agent Behavior ; Applied sciences ; Computer science; control theory; systems ; Election Process ; Exact sciences and technology ; Exception Handler ; Poll Worker ; Process Definition ; Software ; Software engineering</subject><ispartof>Lecture notes in computer science, 2006, p.178-185</ispartof><rights>Springer-Verlag Berlin Heidelberg 2006</rights><rights>2007 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11754305_20$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11754305_20$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4036,4037,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19105454$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Raffo, David M.</contributor><contributor>Wernick, Paul</contributor><contributor>Pfahl, Dietmar</contributor><contributor>Wang, Qing</contributor><creatorcontrib>Raunak, Mohammad S.</creatorcontrib><creatorcontrib>Chen, Bin</creatorcontrib><creatorcontrib>Elssamadisy, Amr</creatorcontrib><creatorcontrib>Clarke, Lori A.</creatorcontrib><creatorcontrib>Osterweil, Leon J.</creatorcontrib><title>Definition and Analysis of Election Processes</title><title>Lecture notes in computer science</title><description>This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behaviors by election officials. The Little-JIL language is used to model example election processes, and various election worker fraudulent behaviors. The FLAVERS finite-state verification system is then used to determine whether different combinations of election worker behaviors cause the process to produce incorrect election results or whether protective actions can be used to thwart these threats.</description><subject>Agent Behavior</subject><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Election Process</subject><subject>Exact sciences and technology</subject><subject>Exception Handler</subject><subject>Poll Worker</subject><subject>Process Definition</subject><subject>Software</subject><subject>Software engineering</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540341994</isbn><isbn>3540341994</isbn><isbn>9783540342014</isbn><isbn>354034201X</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNpNkLtOw0AQRZeXRBRc8QNuKCgMMzuzOFtGITykSFBAvVqvZ5HB2JY3Tf4eQygyzS3OvVMcpS4RbhCgvEUsDRMYp-FIZbZckGEg1oB8rGZ4h1gQsT05YGgtn6oZEOjClkznKkvpE6ajaYZmpop7iU3XbJu-y31X58vOt7vUpLyP-bqV8Adexz5ISpIu1Fn0bZLsP-fq_WH9tnoqNi-Pz6vlphg02m0RjUBkMtEHNBB0RdGGiEZq1GKgDoYr0WKrRVkZH7wAe6EQdKl1zRxprq72fwefgm_j6LvQJDeMzbcfdw4tguFJxlxd73tpQt2HjK7q-6_kENyvMnegjH4Ash9Xow</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Raunak, Mohammad S.</creator><creator>Chen, Bin</creator><creator>Elssamadisy, Amr</creator><creator>Clarke, Lori A.</creator><creator>Osterweil, Leon J.</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2006</creationdate><title>Definition and Analysis of Election Processes</title><author>Raunak, Mohammad S. ; Chen, Bin ; Elssamadisy, Amr ; Clarke, Lori A. ; Osterweil, Leon J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p219t-f5e0f435fac150c2b3f9cf15ed12e50dc54be2e9b87b5acae04ae3cc2722d44f3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Agent Behavior</topic><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Election Process</topic><topic>Exact sciences and technology</topic><topic>Exception Handler</topic><topic>Poll Worker</topic><topic>Process Definition</topic><topic>Software</topic><topic>Software engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Raunak, Mohammad S.</creatorcontrib><creatorcontrib>Chen, Bin</creatorcontrib><creatorcontrib>Elssamadisy, Amr</creatorcontrib><creatorcontrib>Clarke, Lori A.</creatorcontrib><creatorcontrib>Osterweil, Leon J.</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Raunak, Mohammad S.</au><au>Chen, Bin</au><au>Elssamadisy, Amr</au><au>Clarke, Lori A.</au><au>Osterweil, Leon J.</au><au>Raffo, David M.</au><au>Wernick, Paul</au><au>Pfahl, Dietmar</au><au>Wang, Qing</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Definition and Analysis of Election Processes</atitle><btitle>Lecture notes in computer science</btitle><date>2006</date><risdate>2006</risdate><spage>178</spage><epage>185</epage><pages>178-185</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540341994</isbn><isbn>3540341994</isbn><eisbn>9783540342014</eisbn><eisbn>354034201X</eisbn><abstract>This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behaviors by election officials. The Little-JIL language is used to model example election processes, and various election worker fraudulent behaviors. The FLAVERS finite-state verification system is then used to determine whether different combinations of election worker behaviors cause the process to produce incorrect election results or whether protective actions can be used to thwart these threats.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11754305_20</doi><tpages>8</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Lecture notes in computer science, 2006, p.178-185 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_19105454 |
| source | Springer Books |
| subjects | Agent Behavior Applied sciences Computer science control theory systems Election Process Exact sciences and technology Exception Handler Poll Worker Process Definition Software Software engineering |
| title | Definition and Analysis of Election Processes |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-09T02%3A39%3A22IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Definition%20and%20Analysis%20of%20Election%20Processes&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=Raunak,%20Mohammad%20S.&rft.date=2006&rft.spage=178&rft.epage=185&rft.pages=178-185&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540341994&rft.isbn_list=3540341994&rft_id=info:doi/10.1007/11754305_20&rft_dat=%3Cpascalfrancis_sprin%3E19105454%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540342014&rft.eisbn_list=354034201X&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |