Kuzman Katkalov

According to our database, Kuzman Katkalov authored at least 13 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Ein modellgetriebener Ansatz zur Entwicklung informationsflusssicherer Systeme.

Kuzman Katkalov

PhD thesis, 2017

Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach.

Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif

Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2017

2016

Secure Integration of Third Party Components in a Model-Driven Approach.

Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif

Trans. Large Scale Data Knowl. Centered Syst., 2016

Declassification of Information with Complex Filter Functions.

Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif

Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

2015

Modeling information flow properties with UML.

Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif

Proceedings of the 7th International Conference on New Technologies, Mobility and Security, 2015

Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach.

Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif

Proceedings of the Advances in Conceptual Modeling, 2015

Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications.

Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel

Proceedings of the Correct Software in Web Applications and Web Services, 2015

2014

A Model-Driven Approach to Noninterference.

Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014

Modeling test cases for security protocols with SecureMDD.

Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif

Comput. Networks, 2014

Formalizing Information Flow Control in a Model-Driven Approach.

Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif

Proceedings of the Information and Communication Technology, 2014

2013

Model-Driven Development of Information Flow-Secure Systems with IFlow.

Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif

Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

2012

Model-Driven Testing of Security Protocols with SecureMDD.

Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif

Proceedings of the 5th International Conference on New Technologies, 2012

Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach.

Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012