Kuzman Katkalov

13 papers C 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2017 — conf
Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach.
SpaCCS Workshops
Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif
2017 — —
Ein modellgetriebener Ansatz zur Entwicklung informationsflusssicherer Systeme.
Kuzman Katkalov
2016 C conf
Declassification of Information with Complex Filter Functions.
ICISSP
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
2016 J jnl
Secure Integration of Third Party Components in a Model-Driven Approach.
Trans. Large Scale Data Knowl. Centered Syst.
Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
2015 — ch.
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications.
Correct Software in Web Applications and Web Services
Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
2015 — conf
Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach.
ER Workshops
Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
2015 — conf
Modeling information flow properties with UML.
NTMS
Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
2014 J jnl
A Model-Driven Approach to Noninterference.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
2014 — conf
Formalizing Information Flow Control in a Model-Driven Approach.
ICT-EurAsia
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
2014 J jnl
Modeling test cases for security protocols with SecureMDD.
Comput. Networks
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
2013 — conf
Model-Driven Development of Information Flow-Secure Systems with IFlow.
SocialCom
Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
2012 — conf
Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach.
DPM/SETOP
Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif
2012 — conf
Model-Driven Testing of Security Protocols with SecureMDD.
NTMS
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif