@inproceedings{hnaini:hal-03188864, TITLE = {{Security property modeling}}, AUTHOR = {Hnaini, Hiba and Le Roux, Luka and Champeau, Jo{\"e}l and Teodorov, Ciprian}, URL = {https://ensta-bretagne.hal.science/hal-03188864}, BOOKTITLE = {{7th International Conference on Information Systems Security and Privacy, ICISSP 2021}}, ADDRESS = {Vienne - Virtual Online, Austria}, SERIES = {ICISSP 2021 - Proceedings of the 7th International Conference on Information Systems Security and Privacy}, PAGES = {694-701}, YEAR = {2021}, MONTH = Feb, DOI = {10.5220/0010388206940701}, KEYWORDS = {Embedded systems ; Formal methods ; Information systems ; Information use ; Network security ; Reservation systems ; Risk analysis ; Risk assessment}, PDF = {https://ensta-bretagne.hal.science/hal-03188864/file/103882.pdf}, HAL_ID = {hal-03188864}, HAL_VERSION = {v1}, }