The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Barbara Sprick: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  11. On the Decidability of Model-Checking Information Flow Properties. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002