Joachim Biskup

Joachim Biskup, Lan Li: On Inference-Proof View Processing of XML Documents. IEEE Trans. Dependable Sec. Comput. 10(2): 99-113 (2013)

Joachim Biskup: Logic-Oriented Confidentiality Policies for Controlled Interaction Execution. DNIS 2013: 1-22

Joachim Biskup: Inference-usability confinement by maintaining inference-proof views of an information system. IJCSE 7(1): 17-37 (2012)

Joachim Biskup: Dynamic policy adaptation for inference control of queries to a propositional information system. Journal of Computer Security 20(5): 509-546 (2012)

Joachim Biskup: Some Remarks on Relational Database Schemes Having Few Minimal Keys. Conceptual Modelling and Its Theoretical Foundations 2012: 19-28

Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner, Torsten Schlotmann: Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies. DBSec 2012: 56-73

Joachim Biskup, Cornelia Tadros: Revising Belief without Revealing Secrets. FoIKS 2012: 51-70

Joachim Biskup, Sven Hartmann, Sebastian Link: Probabilistic Conditional Independence under Schema Certainty and Uncertainty. SUM 2012: 365-378

Joachim Biskup, Sebastian Link: Appropriate inferences of data dependencies in relational databases. Ann. Math. Artif. Intell. 63(3-4): 213-255 (2011)

Joachim Biskup, Christian Gogolin, Jens Seiler, Torben Weibert: Inference-proof view update transactions with forwarded refreshments. Journal of Computer Security 19(3): 487-529 (2011)

Joachim Biskup, Lena Wiese: A sound and complete model-generation procedure for consistent and confidentiality-preserving databases. Theor. Comput. Sci. 412(31): 4044-4072 (2011)

Joachim Biskup: History-Dependent Inference Control of Queries by Dynamic Policy Adaption. DBSec 2011: 106-121

Joachim Biskup, Cornelia Tadros: Inference-Proof View Update Transactions with Minimal Refusals. DPM/SETOP 2011: 104-121

Joachim Biskup, Marcel Preuß, Lena Wiese: On the Inference-Proofness of Database Fragmentation Satisfying Confidentiality Constraints. ISC 2011: 246-261

Joachim Biskup: Inference Control. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 600-605

Joachim Biskup, Javier Lopez: Editorial ESORICS 2007. ACM Trans. Inf. Syst. Secur. 13(3) (2010)

Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner: Chasing after Secrets in Relational Databases. AMW 2010

Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner: Efficient Inference Control for Open Relational Queries. DBSec 2010: 162-176

Joachim Biskup: Usability Confinement of Server Reactions: Maintaining Inference-Proof Client Views by Controlled Interaction Execution. DNIS 2010: 80-106

Joachim Biskup, Cornelia Tadros, Lena Wiese: Towards Controlled Query Evaluation for Incomplete First-Order Databases. FoIKS 2010: 230-247

Joachim Biskup, Cornelia Tadros: Policy-Based Secrecy in the Runs & Systems Framework and Controlled Query Evaluation. IWSEC (Short Papers) 2010: 60-77

Joachim Biskup: Security in Computing Systems - Challenges, Approaches and Solutions. Springer 2009, isbn 978-3-540-78441-8, pp. I-XXVII, 1-694

Martin Apel, Joachim Biskup, Ulrich Flegel, Michael Meier: Towards Early Warning Systems - Challenges, Technologies and Architecture. CRITIS 2009: 151-164

Joachim Biskup, Jens Seiler, Torben Weibert: Controlled Query Evaluation and Inference-Free View Updates. DBSec 2009: 1-16

Joachim Biskup, Christian Gogolin, Jens Seiler, Torben Weibert: Requirements and Protocols for Inference-Proof Interactions in Information Systems. ESORICS 2009: 285-302

Joachim Biskup, Lena Wiese: Combining Consistency and Confidentiality Requirements in First-Order Databases. ISC 2009: 121-134

Joachim Biskup, Jan-Hendrik Lochner, Sebastian Sonntag: Optimization of the Controlled Evaluation of Closed Relational Queries. SEC 2009: 214-225

Joachim Biskup, Julia Hielscher, Sandra Wortmann: A Trust- and Property-based Access Control Model. Electr. Notes Theor. Comput. Sci. 197(2): 169-177 (2008)

Joachim Biskup, Torben Weibert: Keeping secrets in incomplete databases. Int. J. Inf. Sec. 7(3): 199-217 (2008)

Joachim Biskup, David W. Embley, Jan-Hendrik Lochner: Reducing inference control to access control for normalized database schemas. Inf. Process. Lett. 106(1): 8-12 (2008)

Joachim Biskup, Lena Wiese: Preprocessing for controlled query evaluation with availability policy. Journal of Computer Security 16(4): 477-494 (2008)

Joachim Biskup, Bernhard M. Hämmerli, Michael Meier, Sebastian Schmerl, Jens Tölle, Michael Vogel: 08102 Working Group -- Early Warning Systems. Network Attack Detection and Defense 2008

Joachim Biskup, Sebastian Link: Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes. FoIKS 2008: 58-77

Joachim Biskup, Piero A. Bonatti: Controlled query evaluation with open queries for a decidable relational submodel. Ann. Math. Artif. Intell. 50(1-2): 39-77 (2007)

Joachim Biskup, Torben Weibert: Confidentiality Policies for Controlled Query Evaluation. DBSec 2007: 1-13

Joachim Biskup, Ralf Menzel: Building a Tool for Cost-Based Design of Object-Oriented Database Schemas. ER 2007: 120-131

Joachim Biskup, Christian Tsatedem, Lena Wiese: Secure Mediation of Join Queries by Processing Ciphertexts. ICDE Workshops 2007: 715-724

Joachim Biskup, Dominique Marc Burgard, Torben Weibert, Lena Wiese: Inference Control in Logic Databases as a Constraint Satisfaction Problem. ICISS 2007: 128-142

Joachim Biskup, Barbara Carminati, Elena Ferrari, Frank Müller, Sandra Wortmann: Towards Secure Execution Orders for CompositeWeb Services. ICWS 2007: 489-496

Joachim Biskup, Jan-Hendrik Lochner: Enforcing Confidentiality in Relational Databases by Reducing Inference Control to Access Control. ISC 2007: 407-422

Joachim Biskup, Javier Lopez (Eds.): Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings. Lecture Notes in Computer Science 4734, Springer 2007, isbn 978-3-540-74834-2

Joachim Biskup, Lena Wiese: On Finding an Inference-Proof Complete Database for Controlled Query Evaluation. DBSec 2006: 30-43

Joachim Biskup, Ralf Menzel: Optimising Abstract Object-Oriented Database Schemas. ER 2006: 528-543

Ulrich Flegel, Joachim Biskup: Requirements of Information Reductions for Cooperating Intrusion Detection Agents. ETRICS 2006: 466-480

Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. FoIKS 2006: 43-62

Joachim Biskup, Joerg Parthe: Optimistic Anonymous Participation in Inter-organizational Workflow Instances. ICISS 2006: 86-100

Joachim Biskup, Barbara Sprick, Lena Wiese: Secure Mediation with Mobile Code. DBSec 2005: 267-280

Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. Ann. Math. Artif. Intell. 40(1-2): 37-62 (2004)

Joachim Biskup, Piero A. Bonatti: Controlled query evaluation for enforcing confidentiality in complete information systems. Int. J. Inf. Sec. 3(1): 14-27 (2004)

Joachim Biskup, Jan Paredaens, Thomas Schwentick, Jan Van den Bussche: Solving Equations in the Relational Algebra. SIAM J. Comput. 33(5): 1052-1066 (2004)

Joachim Biskup, Torben Weibert: Refusal in Incomplete Databases. DBSec 2004: 143-157

Joachim Biskup, Sandra Wortmann: Towards a credential-based implementation of compound access control policies. SACMAT 2004: 31-40

Joachim Biskup, Torsten Polle: Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. Acta Inf. 39(6-7): 391-449 (2003)

Joachim Biskup, David W. Embley: Extracting information from heterogeneous information sources using ontologically specified target views. Inf. Syst. 28(3): 169-212 (2003)

Christian Altenschmidt, Joachim Biskup, Ulrich Flegel, Yücel Karabulut: Secure Mediation: Requirements, Design, and Architecture. Journal of Computer Security 11(3): 365-398 (2003)

Joachim Biskup, Thomas Leineweber, Joerg Parthe: Administration Rights in the SDSD-System. DBSec 2003: 149-162

Joachim Biskup, Yücel Karabulut: A Hybrid PKI Model: Application to Secure Mediation. DBSec 2002: 271-282

Christian Altenschmidt, Joachim Biskup: Explicit Representation of Constrained Schema Mappings for Mediated Data Integration. DNIS 2002: 103-132

Joachim Biskup, Ralf Menzel: A Flexible Cost Model for Abstract Object-Oriented Database Schemas. ER 2002: 444-462

Joachim Biskup, Piero A. Bonatti: Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. ESORICS 2002: 39-54

Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. FoIKS 2002: 49-66

Joachim Biskup: Credential-basierte Zugriffskontrolle: Wurzeln und ein Ausblick. GI Jahrestagung 2002: 423-428

Joachim Biskup, Ulrich Flegel: Ausgleich von Datenschutz und Überwachung mit technischer Zweckbindung am Beispiel eines Pseudonymisierers. GI Jahrestagung 2002: 488-496

Joachim Biskup, Torsten Polle: Decomposition of object-oriented database schemas. Ann. Math. Artif. Intell. 33(2-4): 119-155 (2001)

Joachim Biskup, Piero A. Bonatti: Lying versus refusal for known potential secrets. Data Knowl. Eng. 38(2): 199-222 (2001)

Joachim Biskup, Ralf Menzel: An Abstract Database Machine for Cost Driven Design of Object-Oriented Database Schemas. ADBIS 2001: 366-378

Joachim Biskup, Thomas Leineweber: State-Dependent Security Decisions for Distributed Object-Systems. DBSec 2001: 105-118

Joachim Biskup, Barbara Sprick: Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems. Semantics in Databases 2001: 34-62

Joachim Biskup, Jan Paredaens, Thomas Schwentick, Jan Van den Bussche: Solving equations in the relational algebra. CoRR cs.LO/0106034 (2001)

Joachim Biskup: For unknown secrecies refusal is better than lying. Data Knowl. Eng. 33(1): 1-23 (2000)

Leana Golubchik, V. S. Subrahmanian, Sherry Marcus, Joachim Biskup: Sync Classes: A Framework for Optimal Scheduling of Requests in Multimedia Storage Servers. IEEE Trans. Knowl. Data Eng. 12(1): 60-77 (2000)

Joachim Biskup, Ulrich Flegel: Threshold-based identity recovery for privacy enhanced applications. ACM Conference on Computer and Communications Security 2000: 71-79

Christian Altenschmidt, Joachim Biskup, Yücel Karabulut: Security Architecture of the Multimedia Mediator. DBSec 2000: 77-88

Reind P. van de Riet, Raban Serban, Sylvia L. Osborn, Arnon Rosenthal, Vijayalakshmi Atluri, Joachim Biskup, Gio Wiederhold: Panel. DBSec 2000: 373

Joachim Biskup, Ulrich Flegel: On Pseudonymization of Audit Data for Intrusion Detection. Workshop on Design Issues in Anonymity and Unobservability 2000: 161-180

Joachim Biskup, Torsten Polle: Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints. FoIKS 2000: 31-49

Joachim Biskup, David W. Embley: Mediated Information Gain. IDEAS 2000: 360-370

Joachim Biskup, Ulrich Flegel: Transaction-Based Pseudonyms in Audit Data for Privacy Respecting Intrusion Detection. Recent Advances in Intrusion Detection 2000: 28-48

Joachim Biskup: For Unknown Secrecies Refusal is Better than Lying. DBSec 1999: 127-141

Joachim Biskup, Ralf Menzel, Torsten Polle: Ein Kostenmodell für abstrakte objektorientierte Datenbankschemas. Grundlagen von Datenbanken 1999: 72-76

Joachim Biskup: Technical Enforcement of Informational Assurances. DBSec 1998: 17-40

Joachim Biskup, Ulrich Flegel, Yücel Karabulut: Secure Mediation: Requirements and Design. DBSec 1998: 127-140

Alois Knoll, Christian Altenschmidt, Joachim Biskup, Hans-Martin Blüthgen, Ingo Glöckner, Sven Hartrumpf, Hermann Helbig, Christiane Henning, Reinhard Lüling, Burkhard Monien, Thomas Noll, Norbert Sensen: An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents. ECDL 1998: 409-428

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

Joachim Biskup, Andreas Kluck: A New Approach to Inferences of Semantic Constraints. ADBIS 1997: 72-79

Joachim Biskup, Jürgen Freitag, Yücel Karabulut, Barbara Sprick: Query Evaluation in an Object-Oriented Multimedia Mediator. OOIS 1997: 31-43

Joachim Biskup, Ralf Menzel, Torsten Polle, Yehoshua Sagiv: Decomposition of Relationships through Pivoting. ER 1996: 28-41

Joachim Biskup: Grundlagen von Informationssystemen. Vieweg 1995, isbn 3-528-05494-8

Joachim Biskup, Pratul Dublish, Yehoshua Sagiv: Optimization of a Subclass of Conjunctive Queries. Acta Inf. 32(1): 1-26 (1995)

Joachim Biskup, Ralf Menzel, Torsten Polle: Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas. ADBIS 1995: 109-136

Joachim Biskup: Database Schema Design Theory : Achievements and Challenges. CISMOD 1995: 14-44

Joachim Biskup: Achievements of Relational Database Schema Design Theory Revisited. Semantics in Databases 1995: 29-54

Joachim Biskup, Christian Eckert: Enforcement of State Dependent Security Specifications. DBSec 1994: 375

Matthew Morgenstern, Joachim Biskup, Klaus R. Dittrich, Carl E. Landwehr, Marvin Schaefer: Perspectives on Database Security - Panel Summary. DBSec 1994: 377-390

Joachim Biskup, Christian Eckert: Ein Mechanismus zur Durchsetzung von Sicherheitsspezifikationen. Grundlagen von Datenbanken 1994: 11-15

Joachim Biskup, Ralf Menzel, Torsten Polle: Schematransformation für F-Logik. Grundlagen von Datenbanken 1994: 16-19

Joachim Biskup, Ralf Menzel, Torsten Polle: Transformation von Entity-Relationship-Schemata in objektorientierte Datenbankschemata. Grundlagen von Datenbanken 1994: 20-24

Joachim Biskup: Impacts of Creating, Implementing and Using Formal Languages. IFIP Congress (3) 1994: 402-407

Joachim Biskup, Gerrit Bleumer: Reflections on Security of Database and Datatransfer Systems in Health Care. IFIP Congress (2) 1994: 549-556

Joachim Biskup, Matthew Morgenstern, Carl E. Landwehr (Eds.): Database Security, VIII: Status and Prospects, Proceedings of the IFIP WG11.3 Working Conference on Database Security, Bad Salzdetfurth, Germany, 23-26 August, 1994. IFIP Transactions A-60, North-Holland 1994, isbn 0-444-81976-2

Joachim Biskup, Pratul Dublish: Objects in Relational Database Schemes with Functional Inclusion, and Exclusion Dependencies. ITA 27(3): 183-219 (1993)

Joachim Biskup, Christian Eckert: About the Enforcement of State Dependent Specifications. DBSec 1993: 3-17

Joachim Biskup, Holger Stiefeling: Evaluation of Upper Bounds and Least Nodes as Database Operations. FODO 1993: 197-214

Joachim Biskup, Christian Eckert: Über die Durchsetzung von zustandsabhängigen Sicherheitsspezifikationen. Grundlagen von Datenbanken 1993: 20-24

Joachim Biskup, Torsten Polle: Magic-Sets: Globalisieren von Variablen und Rekursionselimination. Grundlagen von Datenbanken 1993: 25-29

Joachim Biskup, Christian Eckert: Sichere Delegation in Informationssystemen. VIS 1993: 107-133

Joachim Biskup: Sicherheit von IT-Systemen als "sogar wenn - sonst nichts - Eigenschaft". VIS 1993: 239-254

Joachim Biskup, Richard Hull (Eds.): Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings. Lecture Notes in Computer Science 646, Springer 1992, isbn 3-540-56039-4

Joachim Biskup, János Demetrovics, Leonid Libkin, Ilya B. Muchnik: On Relational Database Schemes Having Unique Minimal Key. Elektronische Informationsverarbeitung und Kybernetik 27(4): 217-225 (1991)

Joachim Biskup: Relationship chase procedures interpreted as resolution with paramodulation. Fundam. Inform. 15(2): 123-138 (1991)

Joachim Biskup: Sicherheit: Gewährleistung und Begrenzung des Informationsflusses. Entwicklungstendenzen bei Datenbanksystemen 1991: 363-388

Joachim Biskup, Pratul Dublish: Objects in Relational Database Schemes with Functional, Inclusion and Exclusion Dependencies. MFDBS 1991: 276-290

Joachim Biskup: Sicherheit in Informationssystemen - Gewährleistung und Begrenzung des Informationsflusses. VIS 1991: 1-21

Joachim Biskup, Hans Hermann Brüggemann: Das datenschutzorientierte Informationssystem DORIS: Stand der Entwicklung und Ausblick. VIS 1991: 146-158

Joachim Biskup, Uwe Räsch, Holger Stiefeling: An Extension of SQL for Querying Graph Relations. Comput. Lang. 15(1): 65-82 (1990)

Joachim Biskup: A General Framework for Database Security (Abstract). DBSec 1990: 169-170

Joachim Biskup: A General Framework for Database Security. ESORICS 1990: 35-41

Joachim Biskup: Medical Database Security. GI Jahrestagung (2) 1990: 212-221

Joachim Biskup: A General Framework for Database Security. Grundlagen von Datenbanken 1990: 7-10

Pratul Dublish, Joachim Biskup, Yehoshua Sagiv: Optimizatioin of a Subclass of Conjunctive Queries. ICDT 1990: 455-469

Joachim Biskup: Verantwortung des Hochschullehrers für Informatik - Zur Diskussion gestellt. Informatik Spektrum 12(3): 158-161 (1989)

Joachim Biskup: Boyce-Codd Normal Form and Object Normal Forms. Inf. Process. Lett. 32(1): 29-33 (1989)

Joachim Biskup: Protection of Privacy and Confidentiality in Medical Information Systems: Problems and Guidelines. DBSec 1989: 13-23

Joachim Biskup, Hans Hermann Brüggemann: An Object-Surrogate-Value Approach for Database Languages. FMLDO 1989: 79-92

Joachim Biskup, Hans Hermann Brüggemann: The Personal Model of Data - Towards a Privacy Oriented Information System (Extended Abstract). ICDE 1989: 348-355

Joachim Biskup, Bernhard Convent: Towards a Schema Design Methodology for Deductive Databases. MFDBS 1989: 37-52

Joachim Biskup, Hans Hermann Brüggemann: The Personal Model of Data: Towards a Privacy-Oriented Information System. Computers & Security 7: 575-597 (1988)

Joachim Biskup, Hans-Werner Graf: Analysis of the Privacy Model for the Information System DORIS. DBSec 1988: 123-140

Joachim Biskup, Holger Stiefeling: Transitive Closure Algorithms for Very Large Databases. WG 1988: 122-147

Joachim Biskup, János Demetrovics, Jan Paredaens, Bernhard Thalheim (Eds.): MFDBS 87, 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987, Proceedings. Lecture Notes in Computer Science 305, Springer 1988, isbn 3-540-19121-6

Joachim Biskup, Renate Meyer: Design of Relational Database Schemes by Deleting Attributes in the Canonical Decomposition. J. Comput. Syst. Sci. 35(1): 1-22 (1987)

Joachim Biskup: Privacy Respecting Permissions and Rights. DBSec 1987: 173-185

Joachim Biskup, Hans Hermann Brüggemann: Data Manipulation Languages for the Universal Relation View DURST. MFDBS 1987: 20-41

Joachim Biskup, Uwe Räsch: The Equivalence Problem For Relational Database Schemes. MFDBS 1987: 42-70

Joachim Biskup, Hans Hermann Brüggemann, L. Schnetgöke, M. Kramer: One Flavor Assumption and Gamma-Acyclicity for Universal Relation Views. PODS 1986: 148-159

Joachim Biskup, Bernhard Convent: A Formal View Integration Method. SIGMOD Conference 1986: 398-407

Joachim Biskup: Extending the Relational Algebra for Relations with Maybe Tuples and Existential and Universal Null Values. Fundam. Inform. 7(1): 129-150 (1984)

Joachim Biskup: Some Variants of the Take-Grant Protection Model. Inf. Process. Lett. 19(3): 151-156 (1984)

Joachim Biskup: A Foundation of Codd's Relational Maybe-Operations. ACM Trans. Database Syst. 8(4): 608-636 (1983)

Joachim Biskup, Hans Hermann Brüggemann: Universal Relation Views: A Pragmatic Approach. VLDB 1983: 172-185

Joachim Biskup, Hans Hermann Brüggemann: Towards Designing Acyclic Database Schemes. Advances in Data Base Theory 1982: 3-25

Joachim Biskup: A Foundation of Codd's Relational Maybe-Operations. XP2 Workshop on Relational Database Theory 1981

Joachim Biskup: Inferences of Multivalued Dependencies in Fixed and Undetermined Universes. Theor. Comput. Sci. 10: 93-105 (1980)

Joachim Biskup: A Formal Approach to Null Values in Database Relations. Advances in Data Base Theory 1979: 299-341

Joachim Biskup, Umeshwar Dayal, Philip A. Bernstein: Synthesizing Independent Database Schemas. SIGMOD Conference 1979: 143-151

Joachim Biskup: On the Complementation Rule for Multivalued Dependencies in Database Relations. Acta Inf. 10: 297-305 (1978)

Joachim Biskup: The Time Measure of One-Tape Turing Machines Does Not Have the Parallel Computation Property. SIAM J. Comput. 7(1): 115-117 (1978)

Joachim Biskup: Path Measures of Turing Machine Computations (Preliminary Report). ICALP 1978: 90-104

Joachim Biskup: Über Projektionsmengen von Komplexitätsmaßen. Elektronische Informationsverarbeitung und Kybernetik 13(7/8): 359-368 (1977)

Joachim Biskup: Zufällige Folgen und Bi-immunität. Automatentheorie und Formale Sprachen 1973: 202-207