{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T12:04:39Z","timestamp":1780401879836,"version":"3.54.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031874956","type":"print"},{"value":"9783031874963","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-87496-3_10","type":"book-chapter","created":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T10:06:39Z","timestamp":1750327599000},"page":"141-155","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["ModelForge: Using GenAI to\u00a0Improve the\u00a0Development of\u00a0Security Protocols"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2182-6496","authenticated-orcid":false,"given":"Martin","family":"Duclos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4153-4105","authenticated-orcid":false,"given":"Ivan A.","family":"Fernandez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1197-3228","authenticated-orcid":false,"given":"Kaneesha","family":"Moore","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9151-8347","authenticated-orcid":false,"given":"Sudip","family":"Mittal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5107-2125","authenticated-orcid":false,"given":"Edward","family":"Zieglar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,6,20]]},"reference":[{"key":"10_CR1","unstructured":"Bommasani, R., et\u00a0al.: On the opportunities and risks of foundation models (2021)"},{"key":"10_CR2","unstructured":"Braunschweiler, N., Doddipatla, R., Keizer, S., Stoyanchev, S.: Evaluating large language models for document-grounded response generation in information-seeking dialogues (2023). https:\/\/arxiv.org\/abs\/2309.11838"},{"key":"10_CR3","first-page":"1877","volume":"33","author":"T Brown","year":"2020","unstructured":"Brown, T., et al.: Language models are few-shot learners. Adv. Neural. Inf. Process. Syst. 33, 1877\u20131901 (2020)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.C.C.: On the security of public key protocols. In: 22nd Annual Symposium on Foundations of Computer Science (SFCS 1981), pp. 350\u2013357 (1981)","DOI":"10.1109\/SFCS.1981.32"},{"issue":"8","key":"10_CR5","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1016\/S0140-3664(99)00030-4","volume":"22","author":"S Gritzalis","year":"1999","unstructured":"Gritzalis, S., Spinellis, D., Georgiadis, P.: Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification. Comput. Commun. 22(8), 697\u2013709 (1999)","journal-title":"Comput. Commun."},{"key":"10_CR6","unstructured":"Internet Engineering Task Force (IETF): Usable Formal Methods Proposed Research Group (UFMRG) (2023). https:\/\/datatracker.ietf.org\/doc\/charter-irtf-ufmrg\/01\/. Accessed 1 Aug 2024"},{"key":"10_CR7","doi-asserted-by":"publisher","unstructured":"Kaufman, C., Hoffman, P.E., Nir, Y., Eronen, P., Kivinen, T.: Internet Key Exchange Protocol Version 2 (IKEv2). RFC 7296 (2014). https:\/\/doi.org\/10.17487\/RFC7296, https:\/\/www.rfc-editor.org\/info\/rfc7296","DOI":"10.17487\/RFC7296"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/49.17707","volume":"7","author":"R Kemmerer","year":"1989","unstructured":"Kemmerer, R.: Using formal methods to analyze encryption protocols. IEEE J. Select. Areas Commun. 7(4), 448\u2013457 (1989)","journal-title":"IEEE J. Select. Areas Commun."},{"key":"10_CR9","unstructured":"Lal, S., Jain, M., Chaplot, V.: Approaches to formal verification of security protocols (2011). https:\/\/api.semanticscholar.org\/CorpusID:18414398"},{"key":"10_CR10","unstructured":"Liskov, M.D., Ramsdell, J.D., Guttman, J.D., Rowe, P.D.: The Cryptographic Protocol Shapes Analyzer: A Manual for CPSA 4.1. The MITRE Corporation (2023). version 4.3"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Liskov, M.D., Rowe, P.D., Thayer, F.J.: Completeness of CPSA. Tech. rep, Citeseer (2011)","DOI":"10.21236\/ADA562264"},{"key":"10_CR12","doi-asserted-by":"publisher","unstructured":"Liu, J.: Llamaindex (2022). https:\/\/doi.org\/10.5281\/zenodo.1234, https:\/\/github.com\/jerryjliu\/llama_index, release date: 2022-11-01","DOI":"10.5281\/zenodo.1234"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/JCS-1992-1102","volume":"1","author":"C Meadows","year":"1992","unstructured":"Meadows, C.: Applying formal methods to the analysis of a key management protocol. J. Comput. Secur. 1(1), 5\u201335 (1992)","journal-title":"J. Comput. Secur."},{"key":"10_CR14","unstructured":"Ramsdell, J.D.: CPSA and formal security goals (2015)"},{"issue":"1","key":"10_CR15","doi-asserted-by":"publisher","DOI":"10.1148\/radiol.230970","volume":"308","author":"A Rau","year":"2023","unstructured":"Rau, A., et al.: A context-based chatbot surpasses radiologists and generic ChatGPT in following the ACR appropriateness guidelines. Radiology 308(1), e230970 (2023)","journal-title":"Radiology"},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1186\/s41747-024-00457-x","volume":"8","author":"S Rau","year":"2024","unstructured":"Rau, S., et al.: A retrieval-augmented chatbot based on GPT-4 provides appropriate differential diagnosis in gastrointestinal radiology: a proof of concept study. Eur. Radiol. Exp. 8(1), 60 (2024)","journal-title":"Eur. Radiol. Exp."},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"Rescorla, E.: The Transport Layer Security (TLS) Protocol Version 1.3. RFC 8446 (2018). https:\/\/doi.org\/10.17487\/RFC8446, https:\/\/www.rfc-editor.org\/info\/rfc8446","DOI":"10.17487\/RFC8446"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Simpson, W.A.: PPP Authentication Protocols. RFC 1334 (1992). https:\/\/doi.org\/10.17487\/RFC1334, https:\/\/www.rfc-editor.org\/info\/rfc1334","DOI":"10.17487\/RFC1334"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Tang, X., Zong, Y., Zhao, Y., Cohan, A., Gerstein, M.: Struc-Bench: Are large language models really good at generating complex structured data? (2023)","DOI":"10.18653\/v1\/2024.naacl-short.2"},{"key":"10_CR20","unstructured":"Zhang, D., et\u00a0al.: ChemLLM: A chemical large language model (2024)"}],"container-title":["Lecture Notes in Computer Science","Foundations and Practice of Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-87496-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T10:06:43Z","timestamp":1750327603000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-87496-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031874956","9783031874963"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-87496-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"20 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"FPS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Foundations and Practice of Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Montr\u00e9al, QC","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fps2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fps-2024.hec.ca\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}