since 2008
2006 - 2008
2004 - 2005
1996 - 2004
Deepak D'Souza, Ravindra Holla, Raghavendra KR, Barbara Sprick: Model Checking Trace Based Information Flow Properties.
Journal of Computer Security (JCS),IOS Press, pp 101 - 138, Volume 19, Number 1, 2011.
Barbara Sprick, Sandra Wortmann: Time Dependent Trust Structures. In Computer Systems Science and Engineering (CSSE), Special issue on TrustBus, CRL Publishing Ltd, 2005.
D. D'Souza, Raghavendra K.R., Barbara Sprick: An Automata Based Approach for Verifying Information Flow Properties.
ARSPA05 Workshop, ENTCS, Elsevier, July 2005, Lisbon, Portugal.
Sudhir Agarwal, Barbara Sprick: Specification of Access Control and Certification Policies for Semantic Web Services.
In Proceedings of the 6th International Conference on Electronic Commerce and Web Technologies (EC-Web 05), LNCS 3590, August 2005, Copenhagen, Denmark.
Joachim Biskup, Lena Wiese, Barbara Sprick: Secure Mediation with Mobile Code.
Proceedings of IFIP WG 11.3 Working Conference on Data and Application Security, 2005.
Sandra Wortmann, Barbara Sprick C. Kobusch: Dynamically Changing Trust Structure in Capability Based Access Control Systems.
In Proceedings of 1st International Conference on Trust and Privacy in Digital Business (TrustBus'04), LNCS 3184, September 2004, Zaragoza, Spain.
Sudhir Agarwal, Barbara Sprick: Access Control for Semantic Web Services (preliminary version).
In Proceedings of the International Conference on Web Services (ICWS) 2004, IEEE Computer Society Press, San Diego, July 2004, USA.
Sudhir Agarwal, Barbara Sprick, Sandra Wortmann: Credential Based Access Control for Semantic Web Services.
In 2004 American Association for Artificial Intelligence Spring Symposium Series (AAAI 2004), March 2004, Stanford, California, USA.
Joachim Biskup, Barbara Sprick: Towards Unifying Semantic Constraints and Security Constraints .
In L. Bertossi, G. Katona, K.-D. Schewe, B. Thalheim (Eds.): Semantics in Databases, LNCS 2582, pp. 34-62, 2003, Springer Verlag.
Christian Altenschmidt, Joachim Biskup, Jürgen Freitag, Barbara Sprick: Weakly constraining multimedia types based on a type embedding ordering.
In Proceedings of the 4th International Workshop on Multimedia Information Systems (MIS98), pages 121-129, LNCS 1508, September 1998, Istanbul, Turkey.
Peter Niebert, Barbara Sprick: A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.
In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'97), LNCS 1227, May 1997, Pont-a-Mousson, France.
Joachim Biskup, Jürgen Freitag, Yücel Karabulut, Barbara Sprick: A Mediator for Multimedia Systems.
In Proceedings of the 3rd Workshop on Multimedia Information Systems, 1997, Como, Italy.
Joachim Biskup, Jürgen Freitag, Yücel Karabulut, Barbara Sprick: Query Evaluation in an Object-Oriented Multimedia Mediator.
In Proceedings of the International Conference on Object-Oriented Information Systems (OOIS '97), Nov. 1997, Brisbane, Australia.
D. D'Souza, Raghavendra K.R., B. Sprick: An Automata Based Approach for Verifying Information Flow Properties.
Technical Report IISc-CSA-TR-2005-4, April 2005.
B. Sprick: Towards unifying semantic constraints and security constraints in distributed information systems
(PhD Thesis, 2003)