{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T12:45:52Z","timestamp":1774874752523,"version":"3.50.1"},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["ARVI 1402"],"award-info":[{"award-number":["ARVI 1402"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s10703-017-0280-0","type":"journal-article","created":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T09:35:02Z","timestamp":1496309702000},"page":"117-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Formal analysis and offline monitoring of electronic exams"],"prefix":"10.1007","volume":"51","author":[{"given":"Ali","family":"Kassem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yli\u00e8s","family":"Falcone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Lafourcade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,1]]},"reference":[{"issue":"1","key":"280_CR1","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/1044731.1044735","volume":"52","author":"M Abadi","year":"2005","unstructured":"Abadi M, Blanchet B (2005) Analyzing security protocols with secrecy types and logic programs. J ACM 52(1):102\u2013146","journal-title":"J ACM"},{"key":"280_CR2","doi-asserted-by":"crossref","unstructured":"Abadi M, Blanchet B, Comon-Lundh H (2009) Models and proofs of protocol security: a progress report. In: Bouajjani A, Maler O (eds) Computer aided verification, 21st international conference, CAV 2009, Grenoble, France, June 26\u2013July 2, 2009. Proceedings, vol 5643 of lecture notes in computer science. Springer, Berlin, pp 35\u201349","DOI":"10.1007\/978-3-642-02658-4_5"},{"key":"280_CR3","doi-asserted-by":"crossref","unstructured":"Abadi M, Fournet C (2001) Mobile values, new names, and secure communication. In: Hankin C, Schmidt D (eds) Conference record of POPL 2001: the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, London, UK, Jan 17\u201319, 2001, ACM, pp 104\u2013115","DOI":"10.1145\/360204.360213"},{"key":"280_CR4","doi-asserted-by":"crossref","unstructured":"Allamigeon X, Blanchet B (2005) Reconstruction of attacks against cryptographic protocols. In: 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20\u201322 June 2005, Aix-en-Provence, France, pp 140\u2013154. IEEE Computer Society","DOI":"10.1109\/CSFW.2005.25"},{"key":"280_CR5","doi-asserted-by":"crossref","unstructured":"Arapinis M, Bursuc S, Ryan M (2012) Privacy supporting cloud computing: confichair, a case study. In: Degano P, Guttman JD (ed) Principles of security and trust-first international conference, POST 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24\u2013April 1, 2012, proceedings, vol 7215 of lecture notes in computer science. Springer, Berlin, pp 89\u2013108","DOI":"10.1007\/978-3-642-28641-4_6"},{"key":"280_CR6","doi-asserted-by":"crossref","unstructured":"Armando A, Basin DA, Boichut Y, Chevalier Y, Compagna L, Cu\u00e9llar J, Drielsma PH, H\u00e9am P-C, Kouchnarenko O, Mantovani J, M\u00f6dersheim S, von Oheimb D, Rusinowitch M, Santiago J, Turuani M, Vigan\u00f2 L, Vigneron L (2005) The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami K, Rajamani SK (eds) Computer aided verification, 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6\u201310, 2005, proceedings, vol 3576 of lecture notes in computer science. Springer, Berlin, pp 281\u2013285","DOI":"10.1007\/11513988_27"},{"key":"280_CR7","doi-asserted-by":"crossref","unstructured":"Backes M, Hritcu C, Maffei M (2008) Automated verification of remote electronic voting protocols in the applied pi-calculus. In: Proceedings of the 2008 21st IEEE computer security foundations symposium, CSF \u201908, Washington, DC, USA, 2008. IEEE Computer Society, pp 195\u2013209","DOI":"10.1109\/CSF.2008.26"},{"key":"280_CR8","doi-asserted-by":"crossref","unstructured":"Barringer H, Falcone Y, Havelund K, Reger G, Rydeheard DE, Quantified event automata: towards expressive and efficient runtime monitors. In: Giannakopoulou D, Dominique M [45], pp 68\u201384","DOI":"10.1007\/978-3-642-32759-9_9"},{"key":"280_CR9","doi-asserted-by":"crossref","unstructured":"Bartocci E, Bonakdarpour B, Falcone Y (2014) First international competition on software for runtime verification. In: Bonakdarpour B, Smolka SA (ed) Runtime verification-5th international conference, RV 2014, Toronto, ON, Canada, Sept 22\u201325, 2014. Proceedings, vol 8734 of lecture notes in computer science. Springer, Berlin, pp 1\u20139","DOI":"10.1007\/978-3-319-11164-3_1"},{"key":"280_CR10","doi-asserted-by":"crossref","unstructured":"Bartocci E, Falcone Y, Bonakdarpour B, Colombo C, Decker N, Havelund K, Joshi Y, Klaedtke F, Milewicz R, Reger G, Rosu G, Signoles J, Thoma D, Zalinescu E and Zhang Y (2017) First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014. Int J Softw Tools Technol Transf 19(2):1\u201340","DOI":"10.1007\/s10009-017-0454-5"},{"key":"280_CR11","unstructured":"Bartocci E, Majumdar R (eds) (2015) Runtime verification\u20146th international conference, RV 2015 Vienna, Austria, Sept 22\u201325, 2015. Proceedings, vol 9333 of lecture notes in computer science. Springer, Berlin"},{"issue":"2","key":"280_CR12","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1002\/sec.119","volume":"4","author":"S Basagiannis","year":"2011","unstructured":"Basagiannis S, Katsaros P, Pombortsis A (2011) Synthesis of attack actions using model checking for the verification of security protocols. Secur Commun Netw 4(2):147\u2013161","journal-title":"Secur Commun Netw"},{"key":"280_CR13","doi-asserted-by":"crossref","unstructured":"Basagiannis S, Katsaros P, Pombortsis A (2007) Intrusion attack tactics for the model checking of e-commerce security guarantees. In: Saglietti F, Oster N (eds) Computer safety, reliability, and security, 26th international conference, SAFECOMP 2007, Nuremberg, Germany, Sept 18\u201321, 2007, vol 4680 of lecture notes in computer science. Springer, Berlin, pp 238\u2013251","DOI":"10.1007\/978-3-540-75101-4_22"},{"key":"280_CR14","doi-asserted-by":"crossref","unstructured":"Basin D, Caronni G, Ereth S, Harvan M, Klaedtke F, Mantel H (2014) Scalable offline monitoring. In: Bonakdarpour B, Smolka SA (ed) Runtime verification: 5th international conference, RV 2014, Toronto, ON, Canada, Sept 22\u201325, 2014. Proceedings, Cham, 2014. Springer, Berlin, pp. 31\u201347","DOI":"10.1007\/978-3-319-11164-3_4"},{"key":"280_CR15","first-page":"85","volume-title":"Proceedings of the FM 2012: formal methods\u201318th international symposium, Paris, France, August 27\u201331, 2012. Lecture notes in computer science","author":"AK Bauer","year":"2012","unstructured":"Bauer AK, Falcone Y (2012) Decentralised LTL monitoring. In: Giannakopoulou D, M\u00e9ry D (eds) Proceedings of the FM 2012: formal methods\u201318th international symposium, Paris, France, August 27\u201331, 2012. Lecture notes in computer science, vol 7436. Springer, New York, pp 85\u2013100"},{"key":"280_CR16","doi-asserted-by":"crossref","unstructured":"Bella G, Giustolisi R, Lenzini G, Ryan PYA (2015) A secure exam protocol without trusted parties. In: Federrath H, Gollmann D (eds) ICT systems security and privacy protection\u201430th IFIP TC 11 international conference, SEC 2015, Hamburg, Germany, May 26\u201328, 2015, Proceedings, vol 455 of IFIP Advances in Information and Communication Technology. Springer, Berlin, pp 495\u2013509","DOI":"10.1007\/978-3-319-18467-8_33"},{"key":"280_CR17","doi-asserted-by":"crossref","unstructured":"Blanchet B (2001) An efficient cryptographic protocol verifier based on prolog rules. In: Proceedings of the 14th IEEE workshop on computer security foundations, CSFW \u201901, p 82, Washington, DC, USA, 2001. IEEE Computer Society","DOI":"10.1109\/CSFW.2001.930138"},{"key":"280_CR18","doi-asserted-by":"crossref","unstructured":"Blanchet B (2002) From secrecy to authenticity in security protocols. In: Hermenegildo MV, Puebla G (eds) Static analysis, 9th international symposium, SAS 2002, Madrid, Spain, Sept 17\u201320, 2002, proceedings, vol 2477 of lecture notes in computer science. Springer, Berlin, pp 342\u2013359","DOI":"10.1007\/3-540-45789-5_25"},{"key":"280_CR19","unstructured":"Blanchet B (2013) Automatic verification of security protocols in the symbolic model: the verifier proverif. In: Aldini A, Lopez J, Martinelli F (eds) Foundations of security analysis and design VII\u2014FOSAD 2012\/2013 tutorial lectures, vol 8604 of Lecture Notes in Computer Science. Springer, Berlin, pp 54\u201387"},{"key":"280_CR20","unstructured":"Blanchet B, Smyth B, Cheval V (2016) ProVerif 1.90: automatic cryptographic protocol verifier, user manual and tutorial, 2016. Originally appeared as Bruno B, Smyth B (2011) ProVerif 1.85: automatic cryptographic protocol verifier, user manual and tutorial"},{"key":"280_CR21","doi-asserted-by":"crossref","unstructured":"Chadha R, Ciob\u00e2c\u0103 \u015e, Kremer S (2012) Automated verification of equivalence properties of cryptographic protocols. In: Seidl H (ed) Programming languages and systems\u201421st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24\u2013April 1, 2012. Proceedings, vol 7211 of Lecture Notes in Computer Science. Springer, Berlin, pp 108\u2013127","DOI":"10.1007\/978-3-642-28869-2_6"},{"key":"280_CR22","doi-asserted-by":"crossref","unstructured":"Colombo C, Pace GJ (2013) Fast-forward runtime monitoring: an industrial case study. In: Qadeer S, Tasiran S (eds) Runtime verification: third international conference, RV 2012, Istanbul, Turkey, Sept 25\u201328, 2012, Revised Selected Papers. pp 214\u2013228, Springer, Heidelberg","DOI":"10.1007\/978-3-642-35632-2_22"},{"key":"280_CR23","unstructured":"Copeland L (2013) School cheating scandal shakes up atlanta. USA TODAY, April 2013. http:\/\/www.usatoday.com\/story\/news\/nation\/2013\/04\/13\/atlanta-school-cheatring-race\/2079327\/"},{"key":"280_CR24","unstructured":"Cortier V, Kremer S (2016) Formal models for analyzing security protocols: some lecture notes. In: Esparza J, Grumberg O, Sickert S. (eds) Dependable software systems engineering, vol\u00a045 of NATO Science for Peace and Security Series D: Information and Communication Security. IOS Press, pp 33\u201358"},{"key":"280_CR25","doi-asserted-by":"crossref","unstructured":"Cremers CJF (2008) The scyther tool: verification, falsification, and analysis of security protocols. In: Gupta A, Malik S (eds) Computer aided verification, 20th international conference, CAV 2008, Princeton, NJ, USA, July 7\u201314, 2008, proceedings, vol 5123 of lecture notes in computer science. Springer, Berlin, pp 414\u2013418","DOI":"10.1007\/978-3-540-70545-1_38"},{"key":"280_CR26","doi-asserted-by":"crossref","unstructured":"Cremers CJF (2008) Unbounded verification, falsification, and characterization of security protocols by pattern refinement. In: Ning P, Syverson PF and Jha S (eds) Proceedings of the 2008 ACM conference on computer and communications security, CCS 2008, Alexandria, Virginia, USA, Oct 27\u201331, 2008. ACM, pp 119\u2013128","DOI":"10.1145\/1455770.1455787"},{"key":"280_CR27","doi-asserted-by":"crossref","unstructured":"Cremers CJF, Lafourcade P, Nadeau P (2009) Comparing state spaces in automatic security protocol analysis. In: Cortier V, Kirchner C, Okada M, Sakurada H (eds) Formal to practical security\u2014papers issued from the 2005\u20132008 French-Japanese collaboration, vol 5458 of lecture notes in computer science. Springer, Berlin, pp 70\u201394","DOI":"10.1007\/978-3-642-02002-5_5"},{"issue":"2","key":"280_CR28","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev D, Yao A (1983) On the security of public key protocols. IEEE Trans Inf Theory 29(2):198\u2013208","journal-title":"IEEE Trans Inf Theory"},{"key":"280_CR29","doi-asserted-by":"crossref","unstructured":"Donz\u00e9 A (2010) Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Touili T, Cook B, Jackson P (eds) Computer aided verification, 22nd international conference, CAV 2010, Edinburgh, UK, July 15\u201319, 2010. Proceedings, vol 6174 of lecture notes in computer science. Springer, Berlin, pp 167\u2013170","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"280_CR30","doi-asserted-by":"crossref","unstructured":"Dreier J, Giustolisi R, Kassem A, Lafourcade P, Lenzini G (2015) A framework for analyzing verifiability in traditional and electronic exams. In: Lopez J, Wu Y (eds) Information security practice and experience\u201411th international conference, ISPEC 2015, Beijing, China, May 5\u20138, 2015. Proceedings, vol 9065 of lecture notes in computer science. Springer, Berlin, pp 514\u2013529","DOI":"10.1007\/978-3-319-17533-1_35"},{"key":"280_CR31","doi-asserted-by":"crossref","unstructured":"Dreier J, Giustolisi R, Kassem A, Lafourcade P, Lenzini G, Ryan PYA (2014) Formal analysis of electronic exams. In: Obaidat MS, Holzinger A, Samarati P (eds) SECRYPT 2014\u2014proceedings of the 11th international conference on security and cryptography, Vienna, Austria, 28\u201330 Aug, 2014. SciTePress, pp 101\u2013112","DOI":"10.5220\/0005050901010112"},{"key":"280_CR32","unstructured":"Dreier J, Giustolisi R, Kassem A, Lafourcade P, Lenzini G, Ryan PYA (2014) Formal security analysis of traditional and electronic exams. In: Obaidat MS, Holzinger A, Filipe J (eds) E-business and telecommunications\u201411th international joint conference, ICETE 2014, Vienna, Austria, Aug 28\u201330, 2014, Revised Selected Papers, vol 554 of Communications in Computer and Information Science, Springer, Berlin, pp 294\u2013318"},{"key":"280_CR33","doi-asserted-by":"crossref","unstructured":"Dreier J, Jonker H, Lafourcade P (2013) Defining verifiability in e-auction protocols. In: Chen K, Xie Q, Qiu W, Li N, Tzeng W-G (eds) 8th ACM symposium on information, computer and communications security, ASIA CCS \u201913, Hangzhou, China\u2014May 08\u201310, 2013, ACM, pp 547\u2013552","DOI":"10.1145\/2484313.2484387"},{"key":"280_CR34","unstructured":"Dreier J, Kassem A, Lafourcade P (2015) Automated verification of e-cash protocols. In: E-business and telecommunications\u201412th international joint conference, ICETE 2015, Colmar, France, July 2022, 2015, Revised Selected Papers, pp 223\u2013244"},{"key":"280_CR35","doi-asserted-by":"crossref","unstructured":"Dreier J, Kassem A, Lafourcade P (2015) Formal analysis of e-cash protocols. In: Obaidat MS, Lorenz P, Samarati P (eds) SECRYPT 2015\u2014proceedings of the 12th international conference on security and cryptography, Colmar, Alsace, France, 20\u201322 July, 2015. SciTePress, pp 65\u201375","DOI":"10.5220\/0005544500650075"},{"key":"280_CR36","doi-asserted-by":"crossref","unstructured":"Falcone Y (2010) You should better enforce than verify. In: Barringer H, Falcone Y, Finkbeiner B, Havelund K, Lee I, Pace GJ, Rosu G, Sokolsky O, Tillmann N (eds) Runtime verification\u2014first international conference, RV 2010, St. Julians, Malta, Nov 1\u20134, 2010. Proceedings, vol 6418 of lecture notes in computer science. Springer, Berlin, pp 89\u2013105","DOI":"10.1007\/978-3-642-16612-9_9"},{"issue":"4","key":"280_CR37","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s10009-011-0220-z","volume":"14","author":"Y Falcone","year":"2012","unstructured":"Falcone Y, Fernandez J-C, J\u00e9ron T, Marchand H, Mounier L (2012) More testable properties. STTT 14(4):407\u2013437","journal-title":"STTT"},{"issue":"3","key":"280_CR38","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s10009-011-0196-8","volume":"14","author":"Y Falcone","year":"2012","unstructured":"Falcone Y, Fernandez J-C, Mounier L (2012) What can you verify and enforce at runtime? STTT 14(3):349\u2013382","journal-title":"STTT"},{"key":"280_CR39","doi-asserted-by":"crossref","unstructured":"Falcone Y, Fernandez J-C, Mounier L (2009) Runtime verification of safety-progress properties. In: Bensalem S, Peled DA (eds) Runtime verification, 9th international workshop, RV 2009, Grenoble, France, June 26\u201328, 2009. Selected papers, vol 5779 of lecture notes in computer science. Springer, Berlin, pp 40\u201359","DOI":"10.1007\/978-3-642-04694-0_4"},{"key":"280_CR40","unstructured":"Falcone Y, Havelund K, Reger G (2013) A tutorial on runtime verification. In: Broy M, Peled DA, Kalus G (eds) Engineering dependable software systems, vol\u00a034 of NATO science for peace and security series, D: information and communication security. IOS Press, pp 141\u2013175"},{"key":"280_CR41","unstructured":"Falcone Y, Nickovic D, Reger G, Thoma D (2015) Second international competition on runtime verification CRV 2015. In: Bartocci E, Majumdar R [11], pp 405\u2013422"},{"key":"280_CR42","unstructured":"Figaro. Etudiants: les examens sur tablettes num\u00e9riques appell\u00e9s \u00e0 se multiplier. Press release, Jan 2015. goo.gl\/ahxQJD"},{"issue":"4","key":"280_CR43","doi-asserted-by":"crossref","first-page":"233","DOI":"10.3233\/JCS-1994\/1995-3402","volume":"3","author":"SN Foley","year":"1995","unstructured":"Foley SN, Jacob JL (1995) Specifying security for computer supported collaborative working. J Comput Secur 3(4):233\u2013254","journal-title":"J Comput Secur"},{"key":"280_CR44","doi-asserted-by":"crossref","unstructured":"Francalanza A, Aceto L, Ing\u00f3lfsd\u00f3ttir A, On verifying hennessy-milner logic with recursion at runtime. In: Bartocci E, Majumdar R [11], pp 71\u201386","DOI":"10.1007\/978-3-319-23820-3_5"},{"key":"280_CR45","doi-asserted-by":"crossref","unstructured":"Giannakopoulou D, Dominique M (eds) (2012) FM 2012: formal methods\u201418th international symposium, Paris, France, Aug 27\u201331, 2012. Proceedings, vol 7436 of lecture notes in computer science. Springer, Berlin","DOI":"10.1007\/978-3-642-32759-9"},{"issue":"2","key":"280_CR46","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K Havelund","year":"2015","unstructured":"Havelund K (2015) Rule-based runtime verification revisited. Int J Softw Tools Technol Transf 17(2):143\u2013170","journal-title":"Int J Softw Tools Technol Transf"},{"key":"280_CR47","unstructured":"Havelund K, Goldberg A (2005) Verify your runs. In: Meyer B, Woodcock J (eds) Verified software: theories, tools, experiments, first IFIP TC 2\/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, Oct 10\u201313, 2005, revised selected papers and discussions, vol 4171 of lecture notes in computer science. Springer, Berlin, pp 374\u2013383"},{"key":"280_CR48","doi-asserted-by":"crossref","unstructured":"Jin D, Meredith PON, Lee C, Rosu G (2012) Javamop: efficient parametric runtime monitoring framework. In: Glinz M, Murphy GC and Pezz\u00e8 M (eds) 34th International conference on software engineering, ICSE 2012, June 2\u20139, 2012, Zurich, Switzerland. IEEE, pp 1427\u20131430","DOI":"10.1109\/ICSE.2012.6227231"},{"key":"280_CR49","doi-asserted-by":"crossref","unstructured":"Kassem A, Falcone Y, Lafourcade P (2015) Monitoring electronic exams. In: Bartocci E, Majumdar R (eds) Runtime verification\u20146th international conference, RV 2015 Vienna, Austria, Sept 22\u201325, 2015. Proceedings, vol 9333 of lecture notes in computer science. Springer, Berlin, pp 118\u2013135","DOI":"10.1007\/978-3-319-23820-3_8"},{"key":"280_CR50","unstructured":"Kassem A, Lafourcade P, Lakhnech Y (2014) Formal verification of e-reputation protocols. In: Cuppens F, Garc\u00eda-Alfaro J, Heywood NZ, Fong PWL (eds) Foundations and practice of security\u20147th international symposium, FPS 2014, Montreal, QC, Canada, Nov 3\u20135, 2014. Revised selected papers, vol 8930 of lecture notes in computer science. Springer, Berlin, pp 247\u2013261"},{"issue":"2","key":"280_CR51","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.infsof.2008.01.005","volume":"51","author":"P Katsaros","year":"2009","unstructured":"Katsaros P (2009) A roadmap to electronic payment transaction guarantees and a colored petri net model checking approach. Inf Softw Technol 51(2):235\u2013257","journal-title":"Inf Softw Technol"},{"issue":"4","key":"280_CR52","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/S1571-0661(04)80578-4","volume":"70","author":"M Kim","year":"2002","unstructured":"Kim M, Kannan S, Lee I, Sokolsky O, Viswanathan M (2002) Computational analysis of run-time monitoring: fundamentals of java-mac. Electron Notes Theor Comput Sci 70(4):80\u201394","journal-title":"Electron Notes Theor Comput Sci"},{"key":"280_CR53","doi-asserted-by":"crossref","unstructured":"Kremer S, Ryan M, Smyth B (2010) Election verifiability in electronic voting protocols. In: Gritzalis D, Preneel B, Theoharidou M (eds) Computer security \u2013 ESORICS 2010: 15th European symposium on research in computer security, Athens, Greece, Sept 20\u201322, 2010. Proceedings, Springer, Berlin, pp 389\u2013404","DOI":"10.1007\/978-3-642-15497-3_24"},{"key":"280_CR54","unstructured":"Lafourcade P, Puys M (2015) Performance evaluations of cryptographic protocols verification tools dealing with algebraic properties. In: Garc\u00eda-Alfaro J, Kranakis E, Bonfante G (eds) Foundations and practice of security\u20148th international symposium, FPS 2015, Clermont-Ferrand, France, Oct 26\u201328, 2015, revised selected papers, vol 9482 of lecture notes in computer science. Springer, Berlin, pp 137\u2013155"},{"key":"280_CR55","doi-asserted-by":"crossref","unstructured":"Lafourcade P, Terrade V, Vigier S (2009) Comparison of cryptographic verification tools dealing with algebraic properties. In: Guttman J, Degano P (eds) Sixth international workshop on formal aspects in security and trust, (FAST\u201909). Eindhoven, Netherlands","DOI":"10.1007\/978-3-642-12459-4_13"},{"issue":"5","key":"280_CR56","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker M, Schallhart C (2009) A brief account of runtime verification. J Log Algebr Program 78(5):293\u2013303","journal-title":"J Log Algebr Program"},{"key":"280_CR57","doi-asserted-by":"crossref","unstructured":"Meier S, Schmidt B, Cremers C, Basin DA (2013) The TAMARIN prover for the symbolic analysis of security protocols. In: Sharygina N, Veith H (eds) Computer aided verification\u201425th international conference, CAV 2013, Saint Petersburg, Russia, July 13\u201319, 2013. Proceedings, vol 8044 of lecture notes in computer science. Springer, Berlin, pp 696\u2013701","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"280_CR58","doi-asserted-by":"crossref","unstructured":"Navabpour S, Joshi Y, Wu CWW, Berkovich S, Medhat R, Bonakdarpour B, Fischmeister S (2013) Rithm: a tool for enabling time-triggered runtime verification for C programs. In: Meyer B, Baresi L, Mezini M (eds) Joint meeting of the european software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering, ESEC\/FSE\u201913, Saint Petersburg, Russian Federation, Aug 18\u201326, 2013, ACM, pp 603\u2013606","DOI":"10.1145\/2491411.2494596"},{"key":"280_CR59","doi-asserted-by":"crossref","unstructured":"Pnueli A, Zaks A (2006) PSL model checking and run-time verification via testers. In: Misra J, Nipkow T, Sekerinski E (eds) FM 2006: formal methods, 14th international symposium on formal methods, Hamilton, Canada, Aug 21\u201327, 2006, proceedings, vol 4085 of lecture notes in computer science, Springer, Berlin, pp 573\u2013586","DOI":"10.1007\/11813040_38"},{"key":"280_CR60","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-5998-0","volume-title":"Scalable techniques for formal verification","author":"S Ray","year":"2010","unstructured":"Ray S (2010) Scalable techniques for formal verification. Springer, Berlin"},{"key":"280_CR61","unstructured":"Reger G (2014) Automata based monitoring and mining of execution traces. Ph.D. thesis, University of Manchester"},{"key":"280_CR62","doi-asserted-by":"crossref","unstructured":"Reger G, Cruz HC, Rydeheard D (2015) Marq: monitoring at runtime with QEA. In: Baier C, Tinelli C (eds) Tools and algorithms for the construction and analysis of systems: 21st international conference, TACAS 2015, held as part of the european joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11\u201318, 2015, proceedings. Springer, Berlin, pp 596\u2013610","DOI":"10.1007\/978-3-662-46681-0_55"},{"key":"280_CR63","unstructured":"Reger G, Hall\u00e9 S, Falcone Y (2016) Third international competition on runtime verification\u2014CRV 2016. In: Falcone Y, S\u00e1nchez C (eds) Runtime verification\u201416th international conference, RV 2016, Madrid, Spain, Sept 23\u201330, 2016, proceedings, vol 10012 of lecture notes in computer science. Springer, Berlin, pp 21\u201337"},{"key":"280_CR64","doi-asserted-by":"crossref","unstructured":"Schmidt B, Meier S, Cremers CJF, Basin DA (2012) Automated analysis of Diffie\u2013Hellman protocols and advanced security properties. In: Chong S (ed) 25th IEEE computer security foundations symposium, CSF 2012, Cambridge, MA, USA, June 25\u201327, 2012. IEEE, pp 78\u201394","DOI":"10.1109\/CSF.2012.25"},{"key":"280_CR65","unstructured":"Watson R (2014) Student visa system fraud exposed in BBC investigation. http:\/\/www.bbc.com\/news\/uk-26024375"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-017-0280-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0280-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0280-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T07:17:48Z","timestamp":1569395868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-017-0280-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,1]]},"references-count":65,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["280"],"URL":"https:\/\/doi.org\/10.1007\/s10703-017-0280-0","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,1]]}}}