Segui
Florian Kammüller
Florian Kammüller
Associate Professor, Middlesex University London and Privatdozent TU Berlin
Email verificata su mdx.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
Locales a sectioning concept for Isabelle
F Kammüller, M Wenzel, LC Paulson
Theorem Proving in Higher Order Logics: 12th International Conference …, 1999
1421999
Transforming graphical system models to graphical attack models
MG Ivanova, CW Probst, RR Hansen, F Kammüller
Graphical Models for Security: Second International Workshop, GraMSec 2015 …, 2016
442016
Invalidating policies using structural information
F Kammüller, CW Probst
2013 IEEE Security and Privacy Workshops, 76-81, 2013
442013
Encoding object-z in isabelle/hol
G Smith, F Kammüller, T Santen
ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002
432002
A formal proof of sylow's theorem
F Kammüller, LC Paulson
Journal of Automated Reasoning 23, 235-264, 1999
431999
Modeling and verification of insider threats using logical analysis
F Kammüller, CW Probst
IEEE systems journal 11 (2), 534-545, 2015
402015
Attack tree analysis for insider threats on the IoT using Isabelle
F Kammüller, JRC Nurse, CW Probst
Human Aspects of Information Security, Privacy, and Trust: 4th International …, 2016
372016
Modular reasoning in Isabelle
F Kammüller
Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000
372000
Attack tree generation by policy invalidation
MG Ivanova, CW Probst, RR Hansen, F Kammüller
Information Security Theory and Practice: 9th IFIP WG 11.2 International …, 2015
302015
Combining generated data models with formal invalidation for insider threat analysis
F Kammüller, CW Probst
2014 IEEE Security and Privacy Workshops, 229-235, 2014
272014
Formal modeling and analysis of data protection for GDPR compliance of IoT healthcare systems
F Kammueller
2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2018
262018
Formalization of quantum protocols using Coq
J Boender, F Kammüller, R Nagarajan
arXiv preprint arXiv:1511.01568, 2015
252015
A probabilistic analysis framework for malicious insider threats
T Chen, F Kammüller, I Nemli, CW Probst
Human Aspects of Information Security, Privacy, and Trust: Third …, 2015
212015
A framework for reasoning on component composition
L Henrio, F Kammüller, MU Khan
International Symposium on Formal Methods for Components and Objects, 1-20, 2009
182009
Combining secure system design with risk assessment for IoT healthcare systems
F Kammüller
2019 IEEE International Conference on Pervasive Computing and Communications …, 2019
172019
An asynchronous distributed component model and its semantics
L Henrio, F Kammüller, M Rivera
Formal Methods for Components and Objects: 7th International Symposium, FMCO …, 2009
172009
A mechanized model of the theory of objects
L Henrio, F Kammüller
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 …, 2007
172007
Representing hierarchical automata in interactive theorem provers
S Helke, F Kammüller
Theorem Proving in Higher Order Logics: 14th International Conference …, 2001
172001
Human centric security and privacy for the iot using formal techniques
F Kammüller
Advances in Human Factors in Cybersecurity: Proceedings of the AHFE 2017 …, 2018
162018
Translating fusion/uml to object-z
M Bittner, F Kammuller
First ACM and IEEE International Conference on Formal Methods and Models for …, 2003
162003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20