• Home
• News
• Staff
  • Heiko Mantel
  • Elisabeth Kraft
  • Alexander Lux    (geb. Reinhard)
  • Dieter Schuster
  • Barbara Sprick
  • Henning Sudbrock
  • Matthias Brandt
  • Students
• Teaching
• Publications
• Projects
• Research
• Jobs
• Contact

Dr. Barbara Sprick

Office	S2-02 | E321		Postal Address	TU Darmstadt
Phone	+49 6151 - 16-6432			Department of Computer Science Modeling and Analysis of  Information Systems
Fax	+49 6151 - 16-5326			Hochschulstrasse 10
E-mail	sprickmais.informatik.tu-darmstadt.de			D-64289 Darmstadt
				Germany

 

I joined  the Group Modeling and Analysis of Information Systems of Prof. Dr. Heiko Mantel at TU Darmstadt in May 2008.

---

Publications

 

• D. D'Souza, Raghavendra K.R., B. Sprick: An Automata Based Approach for Verifying Information Flow Properties. ARSPA05 Workshop, July 2005, ENTCS, Elsevier. To appear.
• S.Agarwal, B. 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, Copenhagen, August 2005. To appear.
• J. Biskup, L. Wiese, B. Sprick: Secure Mediation with Mobile Code, Proceedings of IFIP WG 11.3 Working Conference on Data and Application Security, 2005. To appear.
• 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, S. Wortmann: Time Dependent Trust Structures. In Computer Systems Science and Engineering (CSSE), Special issue on TrustBus, CRL Publishing Ltd, 2005, to appear.
• S.Wortmann, C. Kobusch, B. Sprick: 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 Springer 2004, ISBN 3-540-22919-1, September 2004, Zaragoza, Spain.
• S.Agarwal, B. 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.
• S. Agarwal, B. Sprick, S. Wortmann: Credential Based Access Control for Semantic Web Services In 2004 American Association for Artificial Intelligence Spring Symposium Series, March 2004, Stanford, California, USA.
• B. Sprick: Towards unifying semantic constraints and security constraints in distributed information systems (PhD Thesis)
• J. Biskup, B. 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.
• C. Altenschmidt, J. Biskup, J. Freitag, B. Sprick: Weakly constraining multimedia types based on a type embedding ordering; in Proc. 4th Int. Workshop on Multimedia Information Systems, pages 121-129, LNCS 1508, Springer, Berlin, September 1998
• P. Niebert, B. Sprick: A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints; In Proc. TABLEAUX'97, Pont-a-Mousson/France, LNCS 1227, Springer-Verlag, 1997.
• J. Biskup, J. Freitag, Y. Karabulut, B. Sprick: A Mediator for Multimedia Systems; In Proc. 3rd Workshop on Multimedia Information Systems, Como, Italy, 1997.
• J. Biskup, J. Freitag, Y. Karabulut, B. Sprick: Query Evaluation in an Object-Oriented Multimedia Mediator; In Proc. Intern. Conf. on Object-Oriented Information Systems (OOIS '97), Brisbane.