 | 2008 |
|---|
| 11 |       | Deepak D'Souza,
Raveendra Holla,
Janardhan Kulkarni,
Raghavendra K. Ramesh,
Barbara Sprick:
On the Decidability of Model-Checking Information Flow Properties.
ICISS 2008: 26-40 |
| 2005 |
|---|
| 10 | | Joachim Biskup,
Barbara Sprick,
Lena Wiese:
Secure Mediation with Mobile Code.
DBSec 2005: 267-280 |
| 9 | | Sudhir Agarwal,
Barbara Sprick:
Specification of Access Control and Certification Policies for Semantic Web Services.
EC-Web 2005: 348-357 |
| 8 |  | Barbara Sprick,
Sandra Wortmann:
Time dependent trust structures.
Comput. Syst. Sci. Eng. 20(6): (2005) |
| 7 | | Deepak D'Souza,
K. R. Raghavendra,
Barbara Sprick:
An Automata Based Approach for Verifying Information Flow Properties.
Electr. Notes Theor. Comput. Sci. 135(1): 39-58 (2005) |
| 2004 |
|---|
| 6 | | Sudhir Agarwal,
Barbara Sprick:
Access Control for Semantic Web Services.
ICWS 2004: 770-773 |
| 5 | | Sandra Wortmann,
Barbara Sprick,
Christoph Kobusch:
Dynamically Changing Trust Structure in Capability Based Access Control Systems.
TrustBus 2004: 50-59 |
| 2001 |
|---|
| 4 | | Joachim Biskup,
Barbara Sprick:
Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems.
Semantics in Databases 2001: 34-62 |
| 1998 |
|---|
| 3 | | Christian Altenschmidt,
Joachim Biskup,
Jürgen Freitag,
Barbara Sprick:
Weakly Constraining Multimedia Types Based on a Type Embedding Ordering.
Multimedia Information Systems 1998: 121-129 |
| 1997 |
|---|
| 2 | | Joachim Biskup,
Jürgen Freitag,
Yücel Karabulut,
Barbara Sprick:
Query Evaluation in an Object-Oriented Multimedia Mediator.
OOIS 1997: 31-43 |
| 1 | | Peter Niebert,
Barbara Sprick:
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.
TABLEAUX 1997: 291-306 |
