{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:53:55Z","timestamp":1743134035371,"version":"3.40.3"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030793173"},{"type":"electronic","value":"9783030793180"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-79318-0_3","type":"book-chapter","created":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T09:03:05Z","timestamp":1624266185000},"page":"45-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Natural Strategic Abilities in Voting Protocols"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damian","family":"Kurpiewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadim","family":"Malvone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,22]]},"reference":[{"unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W., Wooldridge, M.: Knowledge and ability. In: Handbook of Epistemic Logic, pp. 543\u2013589 (2015)","key":"3_CR1"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672\u2013713 (2002)","journal-title":"J. ACM"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-68687-5_1","volume-title":"Electronic Voting","author":"D Basin","year":"2017","unstructured":"Basin, D., Gersbach, H., Mamageishvili, A., Schmid, L., Tejada, O.: Election security and economics: it\u2019s all about eve. In: Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O., Sch\u00fcrmann, C. (eds.) E-Vote-ID 2017. LNCS, vol. 10615, pp. 1\u201320. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68687-5_1"},{"doi-asserted-by":"crossref","unstructured":"Basin, D.A., Radomirovic, S., Schmid, L.: Modeling human errors in security protocols. In: CSF, pp. 325\u2013340 (2016)","key":"3_CR4","DOI":"10.1109\/CSF.2016.30"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"doi-asserted-by":"crossref","unstructured":"Bella, G., Curzon, P., Giustolisi, R., Lenzini, G.: A socio-technical methodology for the security and privacy analysis of services. In: COMPSAC, pp. 401\u2013406 (2014)","key":"3_CR6","DOI":"10.1109\/COMPSACW.2014.69"},{"issue":"5","key":"3_CR7","doi-asserted-by":"publisher","first-page":"563","DOI":"10.3233\/JCS-150536","volume":"23","author":"G Bella","year":"2015","unstructured":"Bella, G., Curzon, P., Lenzini, G.: Service security and privacy as a socio-technical problem. J. Comput. Secur. 23(5), 563\u2013585 (2015)","journal-title":"J. Comput. Secur."},{"doi-asserted-by":"crossref","unstructured":"Benaloh, J., Tuinstra, D.: Receipt-free secret-ballot elections. In: ACM symposium on Theory of Computing, pp. 544\u2013553 (1994)","key":"3_CR8","DOI":"10.1145\/195058.195407"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1037\/h0030000","volume":"77","author":"LE Bourne","year":"1970","unstructured":"Bourne, L.E.: Knowing and using concepts. Psychol. Rev. 77, 546\u2013556 (1970)","journal-title":"Psychol. Rev."},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-75651-4_22","volume-title":"Advances in Information and Computer Security","author":"A Buldas","year":"2007","unstructured":"Buldas, A., M\u00e4gi, T.: Practical security analysis of E-voting systems. In: Miyaji, A., Kikuchi, H., Rannenberg, K. (eds.) IWSEC 2007. LNCS, vol. 4752, pp. 320\u2013335. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75651-4_22"},{"unstructured":"Carlos, M.C., Martina, J.E., Price, G., Cust\u00f3dio, R.F.: A proposed framework for analysing security ceremonies. In: SECRYPT, pp. 440\u2013445 (2012)","key":"3_CR11"},{"issue":"6","key":"3_CR12","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","volume":"208","author":"K Chatterjee","year":"2010","unstructured":"Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy Logic. Inf. Comput. 208(6), 677\u2013693 (2010)","journal-title":"Inf. Comput."},{"doi-asserted-by":"crossref","unstructured":"Cortier, V., Galindo, D., K\u00fcsters, R., M\u00fcller, J., Truderung, T.: SoK: verifiability notions for e-voting protocols. In: IEEE Symposium on Security and Privacy, pp. 779\u2013798 (2016)","key":"3_CR13","DOI":"10.1109\/SP.2016.52"},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/2746338","volume":"18","author":"C Culnane","year":"2015","unstructured":"Culnane, C., Ryan, P.Y.A., Schneider, S.A., Teague, V.: vVote: a verifiable voting system. ACM Trans. Inf. Syst. Secur. 18(1), 3:1-3:30 (2015)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-319-47413-7_14","volume-title":"Decision and Game Theory for Security","author":"C Culnane","year":"2016","unstructured":"Culnane, C., Teague, V.: Strategies for voter-initiated election audits. In: Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M., Casey, W. (eds.) GameSec 2016. LNCS, vol. 9996, pp. 235\u2013247. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47413-7_14"},{"doi-asserted-by":"crossref","unstructured":"David, N., et al.: Modelling social-technical attacks with timed automata. In: MIST, pp. 21\u201328 (2015)","key":"3_CR16","DOI":"10.1145\/2808783.2808787"},{"issue":"9","key":"3_CR17","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2701413","volume":"58","author":"E Davis","year":"2015","unstructured":"Davis, E., Marcus, G.: Commonsense reasoning. Commun. ACM 58(9), 92\u2013103 (2015)","journal-title":"Commun. ACM"},{"unstructured":"Delaune, S., Kremer, S., Ryan, M.: Coercion-resistance and receipt-freeness in electronic voting. In: CSF, 12-pp (2006)","key":"3_CR18"},{"doi-asserted-by":"crossref","unstructured":"Dreier, J., Lafourcade, P., Lakhnech, Y.: A formal taxonomy of privacy in voting protocols. In: ICC, pp. 6710\u20136715 (2012)","key":"3_CR19","DOI":"10.1109\/ICC.2012.6364938"},{"key":"3_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1038\/35036586","volume":"407","author":"J Feldman","year":"2000","unstructured":"Feldman, J.: Minimization of Boolean complexity in human concept learning. Nature 407, 630\u2013633 (2000)","journal-title":"Nature"},{"key":"3_CR22","volume-title":"Automated Planning: Theory and Practice","author":"M Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)"},{"issue":"1","key":"3_CR23","first-page":"4","volume":"2","author":"J Hunker","year":"2011","unstructured":"Hunker, J., Probst, C.W.: Insiders and insider threats - an overview of definitions and mitigation techniques. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 2(1), 4\u201327 (2011)","journal-title":"J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl."},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-030-00419-4_7","volume-title":"Electronic Voting","author":"W Jamroga","year":"2018","unstructured":"Jamroga, W., Knapik, M., Kurpiewski, D.: Model checking the SELENE E-voting protocol in multi-agent logics. In: Krimmer, R., Volkamer, M., Cortier, V., Gor\u00e9, R., Hapsara, M., Serd\u00fclt, U., Duenas-Cid, D. (eds.) E-Vote-ID 2018. LNCS, vol. 11143, pp. 100\u2013116. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00419-4_7"},{"unstructured":"Jamroga, W., Malvone, V., Murano, A.: Reasoning about natural strategic ability. In: AAMAS, pp. 714\u2013722 (2017)","key":"3_CR25"},{"doi-asserted-by":"crossref","unstructured":"Jamroga, W., Malvone, V., Murano, A.: Natural strategic ability. Artif. Intell. 277 (2019)","key":"3_CR26","DOI":"10.1016\/j.artint.2019.103170"},{"doi-asserted-by":"crossref","unstructured":"Jamroga, W., Malvone, V., Murano, A.: A.: Natural strategic ability under imperfect information. In: AAMAS, pp. 962\u2013970 (2019)","key":"3_CR27","DOI":"10.1016\/j.artint.2019.103170"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-52240-1_1","volume-title":"Electronic Voting","author":"W Jamroga","year":"2017","unstructured":"Jamroga, W., Tabatabaei, M.: Preventing coercion in E-voting: be open and commit. In: Krimmer, R., Volkamer, M., Barrat, J., Benaloh, J., Goodman, N., Ryan, P.Y.A., Teague, V. (eds.) E-Vote-ID 2016. LNCS, vol. 10141, pp. 1\u201317. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-52240-1_1"},{"issue":"2\u20133","key":"3_CR29","first-page":"185","volume":"63","author":"W Jamroga","year":"2004","unstructured":"Jamroga, W., van der Hoek, W.: Agents that know how to play. Fund. Inform. 63(2\u20133), 185\u2013219 (2004)","journal-title":"Fund. Inform."},{"doi-asserted-by":"crossref","unstructured":"Juels, A., Catalano, D., Jakobsson, M.: Coercion-resistant electronic elections. In: ACM Workshop on Privacy in the Electronic Society, pp. 61\u201370 (2005)","key":"3_CR30","DOI":"10.1145\/1102199.1102213"},{"doi-asserted-by":"crossref","unstructured":"K\u00fcsters, R., Truderung, T., Vogt, A.: A game-based definition of coercion-resistance and its applications. In: IEEE Computer Security Foundations Symposium, pp. 122\u2013136 (2010)","key":"3_CR31","DOI":"10.1109\/CSF.2010.16"},{"unstructured":"Martimiano, T., Dos Santos, E., Olembo, M., Martina, J.E.: Ceremony analysis meets verifiable voting: individual verifiability in Helios. In: SECURWARE, pp. 169\u2013183 (2015)","key":"3_CR32"},{"doi-asserted-by":"crossref","unstructured":"Martimiano, T., Martina, J.E.: Threat modelling service security as a security ceremony. In: ARES, pp. 195\u2013204 (2016)","key":"3_CR33","DOI":"10.1109\/ARES.2016.59"},{"issue":"4","key":"3_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2631917","volume":"15","author":"F Mogavero","year":"2014","unstructured":"Mogavero, F., Murano, A., Perelli, G., Vardi, M.Y.: Reasoning about strategies: on the model-checking problem. ACM Trans. Comput. Log. 15(4), 1\u201342 (2014)","journal-title":"ACM Trans. Comput. Log."},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BFb0028157","volume-title":"Security Protocols","author":"T Okamoto","year":"1998","unstructured":"Okamoto, T.: Receipt-free electronic voting schemes for large scale elections. In: Christianson, B., Crispo, B., Lomas, M., Roe, M. (eds.) Security Protocols 1997. LNCS, vol. 1361, pp. 25\u201335. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0028157"},{"doi-asserted-by":"publisher","unstructured":"P. Y. A. Ryan. The computer ate my vote. In: Boca, P., Bowen, J., Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 147\u2013184. Springer, London (2010). https:\/\/doi.org\/10.1007\/978-1-84882-736-3_5","key":"3_CR36","DOI":"10.1007\/978-1-84882-736-3_5"},{"issue":"3","key":"3_CR37","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/MSP.2015.54","volume":"13","author":"PYA Ryan","year":"2015","unstructured":"Ryan, P.Y.A., Schneider, S.A., Teague, V.: End-to-end verifiability in voting systems, from theory to practice. IEEE Secur. Privacy 13(3), 59\u201362 (2015)","journal-title":"IEEE Secur. Privacy"},{"unstructured":"Santos, F.P.: Dynamics of reputation and the self-organization of cooperation. Ph.D. thesis, University of Lisbon (2018)","key":"3_CR38"},{"key":"3_CR39","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1038\/nature25763","volume":"555","author":"FP Santos","year":"2018","unstructured":"Santos, F.P., Santos, F.C., Pacheco, J.M.: Social norm complexity and past reputations in the evolution of cooperation. Nature 555, 242\u2013245 (2018)","journal-title":"Nature"},{"key":"3_CR40","volume-title":"Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations","author":"Y Shoham","year":"2009","unstructured":"Shoham, Y., Leyton-Brown, K.: Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, New York (2009)"},{"doi-asserted-by":"crossref","unstructured":"Tabatabaei, M., Jamroga, W., Peter, Ryan, Y.A.: Expressing receipt-freeness and coercion-resistance in logics of strategic ability: preliminary attempt. In: PrAISe@ECAI 2016, pp. 1:1\u20131:8 (2016)","key":"3_CR41","DOI":"10.1145\/2970030.2970039"},{"unstructured":"Verified Voting. Policy on direct recording electronic voting machines and ballot marking devices (2019)","key":"3_CR42"}],"container-title":["Lecture Notes in Computer Science","Socio-Technical Aspects in Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-79318-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,2]],"date-time":"2024-09-02T06:38:14Z","timestamp":1725259094000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-79318-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030793173","9783030793180"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-79318-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"22 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"STAST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Socio-Technical Aspects in Security and Trust","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"stast2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/stast.uni.lu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychai","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"STAST 2020 took take place as entirely virtual.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}