@book{npw:02,
author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",
publisher={Springer},
series= {LNCS},
volume= {2283},
year= {2002},
note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}}
@article{kp:16,
author = {F. Kamm\"uller and C. W. Probst}, 
title = {Modeling and Verification of Insider Threats Using Logical Analysis},
journal = {IEEE Systems Journal, Special issue on Insider Threats to
                  Information Security, Digital Espionage, and Counter
                  Intelligence},
volume = {11},
number = {2}, 
pages = {534--545},
  doi = {10.1109/JSYST.2015.2453215},
  url = {http://dx.doi.org/10.1109/JSYST.2015.2453215},
  year = 2017,
}
@inproceedings{kk:16,
  author    = {Florian Kamm\"uller and 
               Manfred Kerber},
  title     = {Investigating Airplane Safety and Security against Insider Threats Using Logical Modeling},
  booktitle = {IEEE Security and Privacy Workshops, Workshop on Research in Insider Threats, WRIT'16},
  year      = {2016},
  publisher = {IEEE}
}
@proceedings{writ16,
  title     = {Proceedings of the fourth IEEE Workshop on Research in Insider Threats, WRIT'16},
  booktitle = {WRIT'16},
  publisher = {IEEE},
  year      = {2016}
}
@misc{mw:09,
author = {Makarius Wenzel}, 
title = {Re: [isabelle] typedecl versus explicit type parameters},
note =   {Isabelle users mailing list},
url  = {https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2009-July/msg00111.html)},
year = {2009}
}
@misc{kk:20,
    title={Applying the Isabelle Insider Framework to Airplane Security},
    author={Florian Kamm\"uller and Manfred Kerber},
    year={2020},
    eprint={2003.11838},
    archivePrefix={arXiv},
    primaryClass={cs.SE},
    note = {arxive preprint 2003.11838},
    url  = {https://arxiv.org/abs/2003.11838}
}
@inproceedings{kam:16b,
author = {F. Kamm\"uller},
title = {Isabelle Modelchecking for Insider Threats},
booktitle = {Data Privacy Management, DPM'16, 11th Int. Workshop},
note = {Co-located with ESORICS'16},
series = {LNCS},
volume = {9963},
publisher = {Springer},
year = {2016}
}
@Inproceedings{kam:18a,
author = {F. Kamm\"uller},
title = {Formal Modeling and Analysis of Data Protection 
         for GDPR Compliance of IoT Healthcare Systems},
booktitle = {IEEE Systems, Man and Cybernetics, SMC2018},
publisher = {IEEE},
year = {2018}
}
@Inproceedings{kam:18b,
author = {F. Kamm\"uller},
title = {Attack Trees in Isabelle},
booktitle = {20th International Conference on Information and Communications Security, ICICS2018},
publisher = {Springer},
series = {LNCS},
volume = {11149},
year = {2018}
}
@InProceedings{ml:98,
  author = {A. C. Myers and B. Liskov},
  title = {Complete, Safe Information Flow with Decentralized Labels},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  year = {1999},
  publisher = {IEEE}
}  
@misc{suc:16,
author = {CHIST-ERA},
title = {SUCCESS: SecUre aCCESSibility for the internet of things},
note = {http://www.chistera.eu/projects/success},
year = {2016}
}
