A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
<|reference_start|>A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version): Surgical procedures are often not "standardised" (i.e., defined in a unique and unambiguous way), but rather exist as implicit knowledge in the minds of the surgeon and the surgical team. This reliance extends to pre-surgery planning and effective communication during the procedure. We introduce a novel approach for the formal and automated analysis of surgical procedures, which we model as security ceremonies, leveraging well-established techniques developed for the analysis of such ceremonies. Mutations of a procedure are used to model variants and mistakes that members of the surgical team might make. Our approach allows us to automatically identify violations of the intended properties of a surgical procedure.<|reference_end|>
@article{sandu2024a,
    title={A Formal Approach For Modelling And Analysing Surgical Procedures
  (Extended Version)},
    author={Ioana Sandu, Rita Borgo, Prokar Dasgupta, Ramesh Thurairaja, Luca
  Vigan`o},
    journal={arXiv preprint arXiv:2408.05001},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.05001},
    primaryClass={cs.CR}
}