• English
English

Hauptnavigation

A5  Austausch und Fusion von Information unter Verfügbarkeits- und Vertraulichkeitsanforderungen in Multiagentensystemen


Biskup.JPG
Prof. Dr. Biskup, Joachim
KernIsberner.JPG
Prof. Dr. Kern-Isberner, Gabriele
Um Verfügbarkeit von Information einerseits, ihre Vertraulichkeit andererseits mehrseitig sicher zu verwirklichen, müssen Konzepte und Algorithmen entwickelt und erprobt werden, durch die im Allgemeinen konfliktbehaftete Sicherheitsinteressen der Handelnden und Betroffenen ausgedrückt und technisch durchgesetzt werden. Dies muss auch dann gelingen, wenn die technische Infrastruktur nur beschränkten Einsatz von Zeit, Speicher und Nachrichten ermöglicht. Dazu erweitert dieses Teilprojekt Datenbanktechniken für Multiagentensysteme, insbesondere um Data Mining in Embedded Systems zu behandeln.

Dieses Projekt wurde zum 31.12.2014 beendet.

Projektleitung:

Prof. Dr. Biskup, Joachim
Prof. Dr. Kern-Isberner, Gabriele

Alumni:

Krümpelmann, Patrick
Dr. Preuß, Marcel
Dr. Tadros, Cornelia

Software:

Generator for inference-proof views of XML documents
Prototype of Signature-based Inference Control

Publikationen:

Albrecht/etal/2013a Albrecht, Ella and Krümpelmann, Patrick and Kern-Isberner, Gabriele. Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs. In Hanus, Michael and Rocha, Ricardo (editors), Post-Proceedings of the 27th Workshop on Logic Programming, No. 1306, Seiten 17-31, Springer, 2014. LaTeX Symbol


Biskup/etal/2014a Biskup, Joachim and Kern-Isberner, Gabriele and Krümpelmann, Patrick and Tadros, Cornelia. Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions. In Beierle, Christoph and Meghini, Carlo (editors), Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2014), Vol. 8367, Seiten 97-116, Springer, 2014. LaTeX Symbol


Biskup/etal/2014b Biskup, Joachim and Bonatti, Piero and Galdi, Clemente and Sauro, Luigi. Optimality and Complexity of Inference-proof Data Filtering and CQE. In ESORICS 2014, Springer, 2014. LaTeX Symbol


Biskup/Preuss/2014a Biskup, Joachim and Preuß, Marcel. Inference-Proof Data Publishing by Minimally Weakening a Database Instance. In Prakash, Atul and Shyamasundar, Rudrapatna (editors), Information Systems Security – 10th International Conference (ICISS) 2014, Vol. 8880, Seiten 30-49, Cham, Springer, 2014. LaTeX Symbol


Biskup/Tadros/2014a Biskup, Joachim and Tadros, Cornelia. Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services. In Jürjens, Jan and Piessens, Frank and Bielova, Nataliia (editors), Engineering Secure Software and Systems (ESSoS 2014), Vol. 8364, Seiten 35-44, Springer, 2014. LaTeX Symbol


Kruempelmann/etal/2014b Krümpelmann, Patrick and Janus, Tim and Kern-Isberner, Gabriele. Angerona - A flexible Multiagent Framework for Knowledge-based Agents. In Bulling, Nils (editors), Proceedings of the 12th European Conference on Multi-Agent Systems, Vol. to appear, Springer, 2014. LaTeX Symbol


Kruempelmann/Janus/2014a Krümpelmann, Patrick and Janus, Tim and Kern-Isberner, Gabriele. Angerona - A Multiagent Framework for Logic Based Agents with Application to Secrecy Preservation. No. 3, Technische Universität Dortmund, 2014. PDF-Symbol LaTeX Symbol


Biskup/2013a Biskup, Joachim. Logic-Oriented Confidentiality Policies for Controlled Interaction Execution. In Madaan, Aastha and Kikuchi, Shinji and Bhalla, Subhash (editors), DNIS 2013, Vol. 7813, Seiten 1-22, Springer, 2013. LaTeX Symbol


Biskup/etal/2013a Merrill, Shawn and Basalp, Nilgun and Biskup,Joachim and Buchmann, Erik and Clifton, Chris and Kuijpers, Bart and Othman, Walied and Savas, Erkay. Privacy through Uncertainty in Location-Based Services. In International Conference on Mobile Data Management (MDM (2)), Seiten 67-72, 2013. LaTeX Symbol


Biskup/Li/2013a Biskup, Joachim and Li, Lan. On Inference-Proof View Processing of XML Documents.. In IEEE Transactions on Dependable and Secure Computing, Vol. 10, No. 2, Seiten 99-113, 2013. LaTeX Symbol Green Arrow


Biskup/Preuss/2013a Biskup, Joachim and Preuß, Marcel. Database Fragmentation with Encryption: Under Which Semantic Constraints and A Priori Knowledge Can Two Keep a Secret?. In Lingyu Wang and Basit Shafiq (editors), Proceedings of the Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy XXVII (DBSec 2013), Vol. 7964, Seiten 17-32, Springer, 2013. LaTeX Symbol


Biskup/Tadros/2013a Biskup, Joachim and Tadros, Cornelia. Preserving confidentiality while reacting on iterated queries and belief revisions. In Annals of Mathematics and Artificial Intelligence, Seiten 1-49, 2013. LaTeX Symbol Green Arrow


dilger/etal/2013a Dilger, Daniel and Krümpelmann, Patrick and Tadros, Cornelia. Preserving Confidentiality in Multiagent Systems - An Internship Project within the DAAD RISE Program. No. 1, Technische Universität Dortmund, 2013. PDF-Symbol LaTeX Symbol


Kruempelmann/KernIsberner/2013a Krümpelmann, Patrick and Kern-Isberner, Gabriele. Secrecy preserving BDI Agents based on Answerset Programming. In Klusch, Matthias and Thimm, Matthias and Paprzycki, Marcin (editors), Proceedings of the 11th German Conference on Multi-Agent System Technologies (MATES'13), Vol. 8076, Seiten 124--137, Springer, 2013. LaTeX Symbol


Tamargo/etal/2013a Tamargo, Luciano H. and Thimm, Matthias and Krümpelmann, Patrick and García, Alejandro J. and Falappa, Marcelo A. and Simari, Guillermo R. and Kern-Isberner, Gabriele. Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems. In Ferme, Eduardo L. and Gabbay, Dov M. and Simari, Guillermo R. (editors), Trends in Belief Revision and Argumentation Dynamics, College Publications, 2013. LaTeX Symbol Green Arrow


Biskup/2012a Biskup, Joachim. Inference-usability confinement by maintaining inference-proof views of an information system. In International Journal of Computational Science and Engineering, Vol. 7, No. 1, Seiten 17-37, 2012. LaTeX Symbol


Biskup/2012b Biskup, Joachim. Dynamic policy adaptation for inference control of queries to a propositional information system. In Journal of Computer Security, Vol. 20, No. 5, Seiten 509-546, 2012. LaTeX Symbol


Biskup/Hartmann/2012a Biskup, Joachim and Hartmann, Sven and Link, Sebastian and Lochner, Jan-Hendrik and Schlotmann, Torsten. Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies. In Nora Cuppens-Boulahia and Fr\'ed\'eric Cuppens and Joaqu\'\in Garc\'\ia-Alfaro (editors), Data and Applications Security and Privacy XXVI - 26th Annual IFIP WG 11.3 Conference, Vol. 7371, Seiten 56-73, IFIP WG 11.3, Springer, 2012. LaTeX Symbol


Biskup/Hartmann/2012b Biskup, Joachim and Hartmann, Sven and Link, Sebastian. Probabilistic Conditional Independence under Schema Certainty and Uncertainty. In Eyke Hüllermeier and Sebastian Link and Thomas Fober and Bernhard Seeger (editors), Scalable Uncertainty Management - 6th International Conference (SUM 2012), Vol. 7520, Seiten 365-378, Springer, 2012. LaTeX Symbol


Biskup/Tadros/2012a Biskup, Joachim and Tadros, Cornelia. Revising Belief without Revealing Secrets. In Lukasiewicz, Thomas and Sali, Attila (editors), 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012), Vol. 7153, Seiten 51-70, Springer, 2012. LaTeX Symbol


Kruempelmann/KernIsberner/2012a Krümpelmann, Patrick and Kern-Isberner, Gabriele. Belief Base Change Operations for Answer Set Programming. In Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA'12), Vol. 7519, Seiten 294-306, Springer, 2012. LaTeX Symbol


Kruempelmann/KernIsberner/2012b Krümpelmann, Patrick and Kern-Isberner, Gabriele. On Agent-based Epistemic Secrecy. In Riccardo Rossi and Stefan Woltran (editors), Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12), 2012. LaTeX Symbol Green Arrow


Biskup/2011a Biskup, Joachim. History-dependent inference control of queries by dynamic policy adaption. In Li, Yingjiu (editors), Data and Applications Security and Privacy XXV - 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Vol. 6818, Seiten 106-121, IFIP WG 11.3, Springer, 2011. LaTeX Symbol


Biskup/Tadros/2011a Biskup, Joachim and Tadros, Cornelia. Inference-proof View Update Transactions with Minimal Refusals. In Garcia-Alfaro, Joaquin and Navarro-Arribas, Guillermo and Cuppens-Boulahia, Nora and de Capitani di Vimercati, Sabrina (editors), 6th International Workshop on Data Privacy Management, DPM 2011, Vol. 7122, Seiten 104-121, Springer, 2011. LaTeX Symbol


Preuss/etal/2011a Biskup, Joachim and Preuß, Marcel and Wiese, Lena. On the Inference-Proofness of Database Fragmentation Satisfying Confidentiality Constraints. In Xuejia Lai and Jianying Zhou and Hui Li (editors), Proceedings of the 14th Information Security Conference (ISC 2011), Vol. 7001, Seiten 246-261, Springer, 2011. LaTeX Symbol


  • Albrecht/etal/2013a - Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs
  • Biskup/etal/2014a - Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions
  • Biskup/etal/2014b - Optimality and Complexity of Inference-proof Data Filtering and CQE
  • Biskup/Preuss/2014a - Inference-Proof Data Publishing by Minimally Weakening a Database Instance
  • Biskup/Tadros/2014a - Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services
  • Kruempelmann/etal/2014b - Angerona - A flexible Multiagent Framework for Knowledge-based Agents
  • Kruempelmann/Janus/2014a - Angerona - A Multiagent Framework for Logic Based Agents with Application to Secrecy Preservation
  • Biskup/2013a - Logic-Oriented Confidentiality Policies for Controlled Interaction Execution
  • Biskup/etal/2013a - Privacy through Uncertainty in Location-Based Services
  • Biskup/Li/2013a - On Inference-Proof View Processing of XML Documents.
  • Biskup/Preuss/2013a - Database Fragmentation with Encryption: Under Which Semantic Constraints and A Priori Knowledge Can Two Keep a Secret?
  • Biskup/Tadros/2013a - Preserving confidentiality while reacting on iterated queries and belief revisions
  • dilger/etal/2013a - Preserving Confidentiality in Multiagent Systems - An Internship Project within the DAAD RISE Program
  • Kruempelmann/KernIsberner/2013a - Secrecy preserving BDI Agents based on Answerset Programming
  • Tamargo/etal/2013a - Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems
  • Biskup/2012a - Inference-usability confinement by maintaining inference-proof views of an information system
  • Biskup/2012b - Dynamic policy adaptation for inference control of queries to a propositional information system
  • Biskup/Hartmann/2012a - Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies
  • Biskup/Hartmann/2012b - Probabilistic Conditional Independence under Schema Certainty and Uncertainty
  • Biskup/Tadros/2012a - Revising Belief without Revealing Secrets
  • Kruempelmann/KernIsberner/2012a - Belief Base Change Operations for Answer Set Programming
  • Kruempelmann/KernIsberner/2012b - On Agent-based Epistemic Secrecy
  • Biskup/2011a - History-dependent inference control of queries by dynamic policy adaption
  • Biskup/Tadros/2011a - Inference-proof View Update Transactions with Minimal Refusals
  • Preuss/etal/2011a - On the Inference-Proofness of Database Fragmentation Satisfying Confidentiality Constraints

Dissertationen:

Preuß/2016a Marcel Preuß. Inference-Proof Materialized Views. TU Dortmund, 2016. LaTeX Symbol Green Arrow


Tadros/2013a Tadros, Cornelia. Belief Change Operations under Confidentiality Requirements in Multiagent Systems. Technische Universität Dortmund, 2014. LaTeX Symbol Green Arrow


  • Preuß/2016a - Inference-Proof Materialized Views
  • Tadros/2013a - Belief Change Operations under Confidentiality Requirements in Multiagent Systems

Abschlussarbeiten:

Wierzoch/2014a Wierzoch, Pia. Aktualisierung von Wissen unter Vertraulichkeitsanforderungen. TU Dortmund University, LS 6 - Information Systems and Security, 2014. LaTeX Symbol


Dudenhefner/2013a Dudenhefner, Andrej. Veröffentlichung von häufig vorkommenden Mustern in relationalen Datenbanken unter Vertraulichkeitsanforderungen. TU Dortmund University, LS 6 - Information Systems and Security, 2013. LaTeX Symbol


Homann/2013a Homann, Sebastian. Argumentationsbasierte selektive Revision erweiterter logischer Programme. TU Dortmund University, LS1 - Information Engineering, 2013. LaTeX Symbol


Janus/2013a Janus, Tim. Resource-bounded Planning of Communication under Confidentiality Constraints for BDI Agents. TU Dortmund University, LS1 - Information Engineering, 2013. LaTeX Symbol


Albrecht/2012a Albrecht, Ella. Abhängigkeitsgraphen und Erklärungen für die Antwortmengen Programmierung. TU Dortmund University, LS1 - Information Engineering, 2012. LaTeX Symbol


Gonzalez/2012a Benet Gonzalez, Lorenzo. Implementierung von inferenzsicheren Sichtänderungen mit nachfolgenden Sichterneuerungen. TU Dortmund University, LS 6 - Information Systems and Security, 2012. LaTeX Symbol


Hoelzgen/2012a Hölzgen, Daniel. Ein Multiagenten-Ansatz zur Vertraulichkeitsbewahrung bei der Erhebung von Fahrzeugdaten für die Verkehrsprognose. TU Dortmund University, LS1 - Information Engineering, 2012. LaTeX Symbol


Mucha/2012a Mucha, Viktor. Werkzeuge und Optimierung sowie Erweiterungen für die Signatur-basierte Inferenzkontrolle relationaler Anfragen. TU Dortmund University, LS 6 - Information Systems and Security, 2012. LaTeX Symbol


Quermann/2012a Quermann, Kim. Mergen von Kontextinformation unter Vertraulichkeitsanfoderungen. TU Dortmund University, LS 6 - Information Systems and Security, 2012. LaTeX Symbol


Sudhölter/2012a Sudhölter, Tobias. Evaluation von motivationsbasierten Agenten. TU Dortmund University, LS1 - Information Engineering, 2012. LaTeX Symbol


Böhmer/2011a Böhmer, Mirja. Evaluation von Ansätzen zur Wissensänderung von ASP Wissensbasen. TU Dortmund University, LS1 - Information Engineering, 2011. LaTeX Symbol


Schlotmann/2011a Schlotmann, Torsten. Kontrollierte Auswertung relationaler Anfragen mit Hilfe von aus Integritätsbedingungen erzeugten Signaturen. TU Dortmund University, LS 6 - Information Systems and Security, 2011. LaTeX Symbol


  • Wierzoch/2014a - Aktualisierung von Wissen unter Vertraulichkeitsanforderungen
  • Dudenhefner/2013a - Veröffentlichung von häufig vorkommenden Mustern in relationalen Datenbanken unter Vertraulichkeitsanforderungen
  • Homann/2013a - Argumentationsbasierte selektive Revision erweiterter logischer Programme
  • Janus/2013a - Resource-bounded Planning of Communication under Confidentiality Constraints for BDI Agents
  • Albrecht/2012a - Abhängigkeitsgraphen und Erklärungen für die Antwortmengen Programmierung
  • Gonzalez/2012a - Implementierung von inferenzsicheren Sichtänderungen mit nachfolgenden Sichterneuerungen
  • Hoelzgen/2012a - Ein Multiagenten-Ansatz zur Vertraulichkeitsbewahrung bei der Erhebung von Fahrzeugdaten für die Verkehrsprognose
  • Mucha/2012a - Werkzeuge und Optimierung sowie Erweiterungen für die Signatur-basierte Inferenzkontrolle relationaler Anfragen
  • Quermann/2012a - Mergen von Kontextinformation unter Vertraulichkeitsanfoderungen
  • Sudhölter/2012a - Evaluation von motivationsbasierten Agenten
  • Böhmer/2011a - Evaluation von Ansätzen zur Wissensänderung von ASP Wissensbasen
  • Schlotmann/2011a - Kontrollierte Auswertung relationaler Anfragen mit Hilfe von aus Integritätsbedingungen erzeugten Signaturen

Vorarbeiten zum SFB:

Biskup/2010a Joachim Biskup. Usability confinement of server reactions maintaining inference-proof client views by controlled interaction execution. In Databases in Networked Information Systems, DNIS 2010, Vol. 5999, Seiten 80-106, Springer, 2010. LaTeX Symbol


Biskup/Tadros/2010a Joachim Biskup and Cornelia Tadros. Policy-Based Secrecy in the Runs & Systems Framework and Controlled Query Evaluation. In Isao Echizen and Noboru Kunihiro and Ryoichi Sasaki (editors), IWSEC 2010 (Short Papers), Information Processing Society of Japan (IPSJ), 2010. PDF-Symbol LaTeX Symbol


Biskup/2009a Joachim Biskup. Security in Computing Systems -- Challenges, Approaches and Solutions. Springer, 2009. LaTeX Symbol


Biskup/etal/2009a Joachim Biskup and Christian Gogolin and Jens Seiler and Torben Weibert. Requirements and Protocols for Inference-Proof Interactions in Information Systems. In European Symposium on Research in Computer Security, ESORICS 2009, Vol. 5789, Seiten 285-302, Springer, 2009. LaTeX Symbol


Falappa/etal/2009a Marcelo Alejandro Falappa and Gabriele Kern-Isberner and Guillermo Ricardo Simari. Belief Revision and Argumentation Theory. In Simari, G.R. and Rahwan, I. (editors), Argumentation in Artificial Intelligence, Seiten 341--360, Springer, 2009. LaTeX Symbol


Biskup/etal/2008a Joachim Biskup and Gabriele Kern-Isberner and Matthias Thimm. Towards Enforcement of Confidentiality in Agent Interactions. In Maurice Pagnucco and Michael Thielscher (editors), Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), Seiten 104-112, Sydney, Australia, University of New South Wales, Technical Report No. UNSW-CSE-TR-0819, 2008. LaTeX Symbol


Biskup/Weibert/2008a Joachim Biskup and Torben Weibert. Keeping secrets in incomplete databases. In Int. Journal of Information Security, Vol. 7, No. 3, Seiten 199-217, 2008. LaTeX Symbol


Biskup/Wiese/2008a Joachim Biskup and Lena Wiese. Preprocessing for controlled query evaluation with availability policy. In Journal of Computer Security, Vol. 16, No. 4, Seiten 477-494, 2008. LaTeX Symbol


KernIsberner/2008a Gabriele Kern-Isberner. Linking iterated belief change operations to nonmonotonic reasoning. In G. Brewka and J. Lang (editors), Proceedings 11th International Conference on Knowledge Representation and Reasoning, KR'2008, Seiten 166-176, Menlo Park, CA, AAAI Press, 2008. LaTeX Symbol


Kruempelmann/etal/2008a Krümpelmann, Patrick and Thimm, Matthias and Ritterskamp, Manuela and Kern-Isberner, Gabriele. Belief Operations for Motivated BDI Agents. In Lin Padgham and David C. Parkes and Joerg P. Müller and Simon Parsons (editors), Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Seiten 421-428, Estoril, Portugal, 2008. LaTeX Symbol


Thimm/KernIsberner/2008a Matthias Thimm and Gabriele Kern-Isberner. A Distributed Argumentation Framework using Defeasible Logic Programming. In Philippe Besnard and Sylvie Doutre and Anthony Hunter (editors), Proceedings of the 2nd International Conference on Computational Models of Argument (COMMA'08), No. 172, Seiten 381-392, Toulouse, France, IOS Press, 2008. LaTeX Symbol


Biskup/Bonatti/2007a Joachim Biskup and Piero A. Bonatti. Controlled query evaluation with open queries for a decidable relational submodel. In Annals of Mathematics and Artificial Intelligence, Vol. 50, No. 1-2, Seiten 39-77, 2007. LaTeX Symbol


KernIsberner/Fisseler/2004a G. Kern-Isberner and J. Fisseler. Knowledge Discovery by Reversing Inductive Knowledge Representation. In Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR-2004, Seiten 34-44, AAAI Press, 2004. LaTeX Symbol