Barbara Sprick

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 1

Top Venues

IDEAL (1)

Technical University of Dortmund, Germany (PHD)

Education History

Technical University of Dortmund, Germany

PHD

Publications

Reuben Borrison, Benjamin Klöpper, Moncef Chioua, Marcel Dix, Barbara Sprick
Reusable Big Data System for Industrial Data Mining - A Case Study on Anomaly Detection in Chemical Plants. IDEAL (1) (2018)
Richard Gay, Heiko Mantel, Barbara Sprick
Service Automata. Formal Aspects in Security and Trust (2011)
Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick
Model-checking trace-based information flow properties. J. Comput. Secur. 19 (1) (2011)
Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick
On the Decidability of Model-Checking Information Flow Properties. ICISS (2008)
Sudhir Agarwal, Barbara Sprick
Specification of Access Control and Certification Policies for Semantic Web Services. EC-Web (2005)
Barbara Sprick, Sandra Wortmann
Time dependent trust structures. Comput. Syst. Sci. Eng. 20 (6) (2005)
Joachim Biskup, Barbara Sprick, Lena Wiese
Secure Mediation with Mobile Code. DBSec (2005)
Deepak D'Souza, K. R. Raghavendra, Barbara Sprick
An Automata Based Approach for Verifying Information Flow Properties. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)
Sudhir Agarwal, Barbara Sprick
Access Control for Semantic Web Services. ICWS (2004)
Sandra Wortmann, Barbara Sprick, Christoph Kobusch
Dynamically Changing Trust Structure in Capability Based Access Control Systems. TrustBus (2004)
Joachim Biskup, Barbara Sprick
Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems. Semantics in Databases (2001)
Christian Altenschmidt, Joachim Biskup, Jürgen Freitag, Barbara Sprick
Weakly Constraining Multimedia Types Based on a Type Embedding Ordering. Multimedia Information Systems (1998)
Peter Niebert, Barbara Sprick
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. TABLEAUX (1997)
Joachim Biskup, Jürgen Freitag, Yücel Karabulut, Barbara Sprick
Query Evaluation in an Object-Oriented Multimedia Mediator. OOIS (1997)

Barbara Sprick.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Barbara Sprick