Marian Borek

According to our database, Marian Borek authored at least 15 papers between 2012 and 2017.

Collaborative distances:

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

2017

Modellgetriebene Entwicklung sicherer Web Service-Anwendungen.

Marian Borek

PhD thesis, 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

Model Checking of Security-Critical Applications in a Model-Driven Approach.

Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Security requirements formalized with OCL in a model-driven approach.

Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif

Proceedings of the International Workshop on Model-Driven Requirements Engineering, 2013

2012

Model-Driven Development of Secure Service Applications.

Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 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

Incremental development of large, secure smart card applications.

Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif

Proceedings of the Model-Driven Security Workshop, 2012