Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2408.05001 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911982751318016 |
|---|---|
| author | Sandu, Ioana Borgo, Rita Dasgupta, Prokar Thurairaja, Ramesh Viganò, Luca |
| author_facet | Sandu, Ioana Borgo, Rita Dasgupta, Prokar Thurairaja, Ramesh Viganò, Luca |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_05001 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version) Sandu, Ioana Borgo, Rita Dasgupta, Prokar Thurairaja, Ramesh Viganò, Luca Cryptography and Security 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. |
| title | A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version) |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2408.05001 |