Barbara Sprick

According to our database, Barbara Sprick authored at least 15 papers between 1997 and 2018.

Collaborative distances:

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

2018

Reusable Big Data System for Industrial Data Mining - A Case Study on Anomaly Detection in Chemical Plants.

Reuben Borrison, Benjamin Klöpper, Moncef Chioua, Marcel Dix, Barbara Sprick

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2018, 2018

2011

Model-checking trace-based information flow properties.

Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick

J. Comput. Secur., 2011

Service Automata.

Richard Gay, Heiko Mantel, Barbara Sprick

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

2008

On the Decidability of Model-Checking Information Flow Properties.

Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick

Proceedings of the Information Systems Security, 4th International Conference, 2008

2005

An Automata Based Approach for Verifying Information Flow Properties.

Deepak D'Souza, K. R. Raghavendra, Barbara Sprick

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

Time dependent trust structures.

Barbara Sprick, Sandra Wortmann

Comput. Syst. Sci. Eng., 2005

Specification of Access Control and Certification Policies for Semantic Web Services.

Sudhir Agarwal, Barbara Sprick

Proceedings of the E-Commerce and Web Technologies: 6th International Conference, 2005

Secure Mediation with Mobile Code.

Joachim Biskup, Barbara Sprick, Lena Wiese

Proceedings of the Data and Applications Security XIX, 2005

2004

Dynamically Changing Trust Structure in Capability Based Access Control Systems.

Sandra Wortmann, Barbara Sprick, Christoph Kobusch

Proceedings of the Trust and Privacy in Digital Business, First International Conference, 2004

Access Control for Semantic Web Services.

Sudhir Agarwal, Barbara Sprick

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

2003

Towards unifying semantic constraints and security constraints in distributed information systems.

Barbara Sprick

PhD thesis, 2003

2001

Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems.

Joachim Biskup, Barbara Sprick

Proceedings of the Semantics in Databases, 2001

1998

Weakly Constraining Multimedia Types Based on a Type Embedding Ordering.

Christian Altenschmidt, Joachim Biskup, Jürgen Freitag, Barbara Sprick

Proceedings of the Advances in Multimedia Information Systems, 4th International Workshop, 1998

1997

A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.

Peter Niebert, Barbara Sprick

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Query Evaluation in an Object-Oriented Multimedia Mediator.

Joachim Biskup, Jürgen Freitag, Yücel Karabulut, Barbara Sprick

Proceedings of the 1997 International Conference on Object Oriented Information Systems, 1997