Florian Kammüller. Isabelle Modelchecking for Insider Threats. In Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri, editors, Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings. Volume 9963 of Lecture Notes in Computer Science, pages 196-210, Springer, 2016. [doi]
@inproceedings{Kammuller16, title = {Isabelle Modelchecking for Insider Threats}, author = {Florian Kammüller}, year = {2016}, doi = {10.1007/978-3-319-47072-6_13}, url = {http://dx.doi.org/10.1007/978-3-319-47072-6_13}, researchr = {https://researchr.org/publication/Kammuller16}, cites = {0}, citedby = {0}, pages = {196-210}, booktitle = {Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings}, editor = {Giovanni Livraga and Vicenç Torra and Alessandro Aldini and Fabio Martinelli and Neeraj Suri}, volume = {9963}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-47071-9}, }