Barbara Sprick

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