@article{Arnold2007,
  author    = {Arnold, Holger},
  title     = {A linearized DPLL calculus with learning},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15421},
  year      = {2007},
  abstract  = {This paper describes the proof calculus LD for clausal propositional logic, which is a linearized form of the well-known DPLL calculus extended by clause learning. It is motivated by the demand to model how current SAT solvers built on clause learning are working, while abstracting from decision heuristics and implementation details. The calculus is proved sound and terminating. Further, it is shown that both the original DPLL calculus and the conflict-directed backtracking calculus with clause learning, as it is implemented in many current SAT solvers, are complete and proof-confluent instances of the LD calculus.},
  language  = {en}
}
@misc{Lunemann2006,
  type      = {Master Thesis},
  author    = {Lunemann, Carolin},
  title     = {Quantum cryptography : security analysis of multiuser quantum communication with embedded authentication},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-12756},
  school      = {Universit{\"a}t Potsdam},
  year      = {2006},
  abstract  = {Three quantum cryptographic protocols of multiuser quantum networks with embedded authentication, allowing quantum key distribution or quantum direct communication, are discussed in this work. The security of the protocols against different types of attacks is analysed with a focus on various impersonation attacks and the man-in-the-middle attack. On the basis of the security analyses several improvements are suggested and implemented in order to adjust the investigated vulnerabilities. Furthermore, the impact of the eavesdropping test procedure on impersonation attacks is outlined. The framework of a general eavesdropping test is proposed to provide additional protection against security risks in impersonation attacks.},
  language  = {en}
}
@misc{Ohme2003,
  type      = {Master Thesis},
  author    = {Ohme, Sebastian},
  title     = {Konzeption von Dokumentenservern f{\"u}r Digitale Bibliotheken im Hinblick auf Langzeitarchivierung und Retrieval},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-5880},
  school      = {Universit{\"a}t Potsdam},
  year      = {2003},
  abstract  = {Entwickelt wird ein Dokument Management System zur elektronischen, Client-Server-basierten Publikation und Langzeitarchivierung von Hochschulschriften f{\"u}r die Universit{\"a}tsbibliothek Potsdam. Der zu konzipierende Dokumentenserver muss den bibliothekarischen Anforderungen im Hinblick auf die Sicherung von Authentizit{\"a}t und Integrit{\"a}t des Servers und der einzelnen Textdokumente entsprechen. Eine Analyse der Eignung verbreiteter Dateiformate zur dauerhaften Speicherung unter Ber{\"u}cksichtigung von Verf{\"u}gbarkeit, Strukturierbarkeit, Konvertierbarkeit und Austauschbarkeit sowie Recherchierbarkeit erbringt eine langfristig anzustrebende Pr{\"a}ferenz f{\"u}r XML als Archivierungs- und Rechercheformat sowie PDF und/oder HTML als Pr{\"a}sentationsformate. Die Formalerfassung erfolgt {\"u}ber die Anreicherung des Dokumentes mit Metadaten nach dem DC qualified Standard, die in einer Datenbank strukturiert abgelegt sind. Der dauerhafte Zugang zur Publikation kann durch Verwendung einer zitierf{\"a}higen URN (Persistent Identifier) gesichert werden. Bestehende Archivierungssysteme werden untersucht und auf Vereinbarkeit mit den lokalen Bed{\"u}rfnissen gepr{\"u}ft. Ein Workflow f{\"u}r die Anlieferung von Dokument und beschreibenden Metadaten durch den Autor und die weitere Bearbeitung durch die Bibliothek wird erarbeitet und die technische Umsetzung mittels Perl, HTML, XML und einer MS Access Datenbank beschrieben. Der Dokumentenserver erm{\"o}glicht performantes Retrieval und ist als Dataprovider mit einer OAI-Schnittstelle f{\"u}r den weltweiten, standardisierten Datenaustausch ausgestattet. Das System kann in wissenschaftlichen Informationseinrichtungen als Internet- oder Intranet-Repositorium eingesetzt werden. (Fremdreferat)},
  subject      = {Elektronisches Publizieren},
  language  = {de}
}