dblp.uni-trier.dewww.uni-trier.de

Barbara Sprick

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
11EEDeepak 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
10EEJoachim Biskup, Barbara Sprick, Lena Wiese: Secure Mediation with Mobile Code. DBSec 2005: 267-280
9EESudhir 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)
7EEDeepak 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
6EESudhir Agarwal, Barbara Sprick: Access Control for Semantic Web Services. ICWS 2004: 770-773
5EESandra Wortmann, Barbara Sprick, Christoph Kobusch: Dynamically Changing Trust Structure in Capability Based Access Control Systems. TrustBus 2004: 50-59
2001
4EEJoachim Biskup, Barbara Sprick: Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems. Semantics in Databases 2001: 34-62
1998
3EEChristian 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

Coauthor Index

1Sudhir Agarwal [6] [9]
2Christian Altenschmidt [3]
3Joachim Biskup [2] [3] [4] [10]
4Deepak D'Souza [7] [11]
5Jürgen Freitag [2] [3]
6Raveendra Holla [11]
7Yücel Karabulut [2]
8Christoph Kobusch [5]
9Janardhan Kulkarni [11]
10Peter Niebert [1]
11K. R. Raghavendra [7]
12Raghavendra K. Ramesh [11]
13Lena Wiese [10]
14Sandra Wortmann [5] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)