Universität Hamburg

Universität Hamburg

SVS - Security in Distributed Systems
MIN Faculty.Informatics.SVS
   UHH  >  Dept. of Informatics  >  SVS  >  People >  Former Members >  Joachim Posegga > Publications of Joachim Posegga      SiteMapSitemap  SearchSearch Seitenende
*SVS Homepage
*General Information
*Events and Conferences
*People
 - Hannah Lee
 - Robert Olotu
 - Former Members
   - Joachim Posegga
     - Short Bio
     - Publications
   - Margit Wichmann
   - Jan Seedorf
   - Christopher Alm
   - Martin Johns
   - Bastian Braun
   - Daniel Schreckling
   - Henrich C. Pöhls
*Research
*Teaching
*For Students
*Open Positions

Prof. Dr. rer.nat. Joachim Posegga

Books

  1. Josep Domingo-Ferrer, Joachim Posegga, and Daniel Schreckling (Eds.). Proc. 7th Intern. Conf. on Smart Card Research and Applications. Springer LNCS 3928, Tarragona, Spain, 2006.

  2. Dov Gabbay, Marcello D'Agostino, Reiner Hähnle, and Joachim Posegga (eds.). Handbook of Tableau-based Methods in Automated Deduction. Kluwer Academic Publishers, 1999.

  3. T. Margaria, B. Steffen, R. Rückert, and J. Posegga, editors. Services and Visualization: Towards User Friendly Design, volume 1385 of Lecture Notes in Computer Science, Springer Verlag, Heidelberg, 1998.

  4. P. Baumgartner, R. Hähnle, and J. Posegga (eds.) Proc. 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence, St. Goar, Germany, May 1995. Springer-Verlag.

  5. Joachim Posegga. Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. Infix Verlag, Sankt Augustin, 1993.

Articles in Journals and Books

  1. Josep Domingo-Ferrer, Joachim Posegga, Francesc Sebe, and Vicenc Torra (Eds.). COMPUTER NETWORKS, Special Issue on Advances in Smart Cards. Elsevier, to appear, 2007.

  2. Thomas Walter, Laurent Bussard, Jochen Haller, Roger Kilian-Kehr, Joachim Posegga, Philip Robinson. Secure Mobile Business Applications: Framework, Architecture and Implementation. Information Security Technical Report Journal, Vol. 9 No. 4, pp 6 - 22, December 2004. (PDF File, 700K)

  3. Joachim Posegga and Simon Vetter. Wireless Internet Security (in German). Informatik Spektrum, Vol. 24 Issue 6, pp 383-386, December 2001. (PDF, HTML )

  4. Günter Karjoth and Joachim Posegga. Mobile Agents and Telcos' Nightmares. Annales des Telecomunication, special issue on communications security, 2000. (PDF File, 120 K)

  5. Joachim Posegga. Jini: Infrastruktur für dynamische Dienste in verteilten Systemen. Aktuelles Schlagwort, Informatik-Spektrum, 22(1), Springer Verlag, 1999. (PDF File, 350 K)

  6. Joachim Posegga. Die Sicherheitsaspekte von Java. Informatik-Spektrum, 21(1):16-22, Springer Verlag, 1998. (PDF File, 220 K)

  7. Matthias Kaiserswerth and Joachim Posegga. Java Chipkarten. Aktuelles Schlagwort, Informatik-Spektrum, 21(1):27-28, Springer Verlag, 1998. (PDF File, 250 K)

  8. Bernhard Beckert and Joachim Posegga. Logic programming as a Basis for Lean Automated Deduction. Journal of Logic Programming, 28(3):231-236, Sept. 1996.

  9. Joachim Posegga and Peter H. Schmitt. Implementing Tableau-based deduction. In Dov Gabbay et.al., editor, Handbook of Tableau-based Methods in Automated Deduction. Kluwer Academic Publishers, 1999.

  10. Bernhard Beckert and Joachim Posegga. leanTAP: Lean Tableau-based deduction. Journal of Automated Reasoning, 15(3):339-358, 1995. (Compressed Postscript, 80 K)

  11. Joachim Posegga and Peter H. Schmitt. Deduction with first-order Shannon Graphs. Journal of Logic and Computation, 5(6):697-729, 1996.

Articles in Conference Proceedings

  1. Henrich C. Pöhls, Joachim Posegga: Smartcard Firewalls Revisited. In 7th Intern. Conf. on Smart Card Research and Applications, Lecture Notes in Computer Science, Tarragona, Spain, April 19-21, 2006. Springer Verlag. (PDF, 494 K)

  2. Joachim Posegga, Jan Seedorf: Voice Over IP: Unsafe at any Bandwidth? In Proc. EURESCOM Summit 2005: Ubiquitous Services and Applications, Lecture Notes in Computer Science, Heidelberg, Germany, April
    27--29 2005. VDE Verlag. (PDF, 315 K)

  3. Roger Killian-Kehr, Joachim Posegga: Smart Cards in Interaction: Towards Trustworthy Digital Signatures. In In Proc. CARDIS, Springer LNCS. Springer Verlag, 2002. (PDF, 170 K)

  4. David Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis, Spin Workshop, ESOP. Springer LNCS. Springer Verlag, 2002. (PDF, 250 K)

  5. Roger Kehr, Joachim Posegga, Roland Schmitz, and Peter Windirsch: Mobile Security for Internet Applications. Arbeitskonferenz Kommunikationssicherheit 2001, Springer LNCS, Springer Verlag, 2001. (PDF, 1 MB).

  6. Scott Guthery, Roger Kehr, and Joachim Posegga. How to turn a GSM SIM into a Web server: Projecting Mobile Trust onto the World Wide Web. In Josep Domingo-Ferrer et. al., editor, Proc. CARDIS 2000. Kluwer, 2000. (PDF, 330 K)

  7. Joachim Posegga. Secure Mobile Commerce: A Plug an Pay Approach. Proc. Micro.tec 2000. EXPO, Hannover, September 2000. VDE Verlag. (MS Word, 130 K)

  8. Roger Kehr, Joachim Posegga, and Harald Vogt. PCA: The Personal Card Assistant. In Rainer Baumgart, editor, CQRE-Secure. Springer Verlag, 1999. (PDF, 1.6 M)

  9. David Basin, Stefan Friedrich, Joachim Posegga, and Harald Vogt. Java Bytecode Verification by Model Checking (system abstract). In Proc. Conf. on Computer Aided Verification. Springer LNCS, 1999. (PDF, 130 K)

  10. Joachim Posegga and Harald Vogt. Byte Code Verification for Java Smart Cards. Proc. ESORICS, Springer Vlg., 1998.

  11. Joachim Posegga and Harald Vogt. Java Byte Code Verification Using Model Checking. Proc. OOPSLA Workshop on Formal Underpinnings of Java, 1998. (PDF, 170 K)

  12. Rajeev Gore, Joachim Posegga, Andrew Slater, and Harald Vogt. CardTAP: Automated Deduction on a Smart Card. In Proc. 1998 Joint Australian Artificial Intelligence Conference, Lecture Notes in Artificial Intelligence, Brisbane, Australia, July 1998. Springer Verlag. (PDF, 160 K)

  13. Joachim Posegga. Java Smart Cards as a Platform for Electronic Commerce. In Frank Griffel, Tuan Tu, and Winfried Lamersdorf, editors, Electronic Commerce: International IFIP/GI Working Conference on Trends in Distributed Systems and Electronic Commerce, pages 175-182, Hamburg, 1998. dpunkt Verlag, Heidelberg. (PDF, 80 K)

  14. Rajeev Gore, Joachim Posegga, Andrew Slater, and Harald Vogt. CardTAP: The First Theorem Prover on a Smart Card. In Proc. Conference on Automated Deduction (CADE), Lecture Notes in Computer Science. Springer Verlag, 1998. (PDF, 670 K)

  15. Joachim Posegga and Harald Vogt. Bytecode Verification for Java Smartcards Based on Model Checking. In 5th European Symposium on Research in Computer Security (ESORICS), Lecture Notes in Computer Science, Louvain-la-Neuve, Belgium, 1998. Springer Verlag. (PDF, 230 K)

  16. Bernhard Beckert and Joachim Posegga. leanEA : A lean Evolving Algebra Compiler. In H. Kleine Büning, editor, Proceedings, Annual Conference of the European Association for Computer Science Logic (CSL'95), Paderborn, Germany, LNCS 1092, pages 64-85. Springer, 1996. (Compressed Postscript, 100 K)

  17. Bernhard Beckert and Joachim Posegga. leanTAP : Lean, Tableau-based Theorem Proving. In Alan Bundy, editor, Proc. CADE-12, volume 814 of Lecture Notes in Artificial Intelligence, Nancy, France, June 1994. Springer-Verlag. (Compressed Postscript, 100 K)

  18. Jean Goubault and Joachim Posegga. BDDs and Automated Deduction. In Proc. 8th International Symposium on Methodologies for Intelligent Systems, Lecture Notes in Artificial Intelligence, Charlotte, NC, October 1994. Springer-Verlag. (Compressed Postscript, 600 K)

  19. Joachim Posegga. Compiling the Proof Search in Semantic Tableaux. In Proc. 7th In- ternational Symposium on Methodologies for Intelligent Systems, volume 671 of Lecture Notes in Artificial Intelligence, pages 67-77, Trondheim, Norway, June 1993. Springer-Verlag. (Compressed Postscript, 350 K)

  20. Joachim Posegga and Bertram Ludäscher. Towards First-order Deduction Based on Shannon Graphs. In Proc. German Workshop on Artificial Intelligence, Lecture Notes in Artificial Intelligence, Bonn, Germany, 1992. Springer-Verlag.

  21. H. Müller, G. Moerkotte, and J. Posegga. Consistency Driven Planning. In Proc. 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1991. Springer-Verlag. (Compressed Postscript, 70 K)

  22. J. Dix, J. Posegga, and P.H. Schmitt. Modal Logic for AI Planning. In First International Conference on Expert Planning Systems, Brighton, UK, July 1990. IEE. (Compressed Postscript, 55 K)

  23. Joachim Posegga and Klaus Schneider. A First-order Calculus Based on Propositional BDDs. In Leonie Dreschler-Fischer, Simone Pribbenow (Ed.): KI-95 Activities. Gesellschaft f. Informatik, Bonn, September 1995.

Patent Applications

  1. Jochen Haller, Laurent Gomez, and Joachim Posegga. Architektur für ein sicheres Senden von Firmennachrichten / enterprise secure messaging architecture.
    United States Patent Office, US 2004/0068649 A1;
    Europäisches Patentamt, EP 1 532 774 A2;
    Australian Patent Office AU 2003 271 569 A8,
    2004.

  2. Joachim Posegga, Harald Vogt, and Roger Kehr. Kartenterminal und Verfahren zum Betreiben eines Kartenterminals / card terminal and method for operating a card terminal.
    Europäisches Patentamt, EP 1 350 230 A2;
    United States Patent Office, US 2003/0056019 A1;
    Deutsches Patentamt DE 10 015 775 A1,
    2003.

  3. Joachim Posegga and Roger Kehr.
    Verfahren und Vorrichtung zum digitalen Signieren einer Transaktion / method and device for digitally signing a transaction.
    Deutsches Patentamt, DE 101 16 794 A1;
    European Patent Office, EP 1 384 130 A2;
    Weltorganisation für geistiges Eigentum, WO 2 002 086 683 A3,
    2002.

  4. Joachim Posegga and Harald Vogt. Ein Verfahren zur Prüfung von Java-Bytecode-Programmen
    auf Sicherheitseigenschaften / method for checking Java byte code programs for security characeristics.
    Weltorganisation für geistiges Eigentum, PCT/EO99/04438, WO 00/00890;
    US Patent Office, PCT/EP99/04438;
    Österreichisches Patentamt, AT 022 553 6E;
    European Patent Office, EP 1 088 270 B1,
    2002.

  5. Joachim Posegga, Harald Vogt, and Roger Kehr. Eine Vorrichtung zur Erhöhung der Sicherheit bei
    Digitalen Signaturen / method to improve security of systems using digital signatures.
    Deutsches Patentamt, Akz 199 23 807.3;
    European Patent Office, EP 1 054 364 A2;
    Weltorganisation für geistiges Eigentum, WO 02/086683 A3,
    2000.

  6. Joachim Posegga. Netzsteuerbares GSM-Mobilfunkgerät / GSM mobile radio apparatus, which can be controlled by the network.
    Deutsches Patentamt, DE 197 13 965 A 1;
    Europäisches Patentamt, EP 0 138 413 0A2,
    1998.

  7. Joachim Posegga. Verfahren und Vorrichtung zur Nutzung eines in einem Telekommunikationsnetz zur Verfügung gestellten Dienstes / method for using service freely available in electric communication network.
    Deutsches Patentamt, DE 197 13 966.3;
    Japanese Patent Office, 10301789 A;
    United States Patent Office, US 2002/0057767 A1,
    1997.

Other Publications

  1. S. Guthery, R. Kehr, H. Vogt, and J. Posegga. GSM SIMs as Web Servers. Seventh Intern. Conf. on Intelligence in Services and Networks, 2000. (PDF).

  2. Arne Munch-Ellingsen, Pål S. Malm, Joachim Posegga, Roger Kehr, Gilles Privat, Roland Airiau, and Andrew Hardwick. Smart Devices. EURESCOM Strategy Studies. EURESCOM GmbH, Heidelberg, Germany, December 1999. http://www.eurescom.de/~pub-deliverables/P900-series/P946/D1

  3. A. Gavras, F. Mattern, and J. Posegga. Future services for networked devices (workshop proceedings), 1999. http://www.eurescom.de/~pub/fusenetd

  4. Joachim Posegga and Peter H. Schmitt. Implementing Tableau-based deduction. Technical Report 12, Universität Karlsruhe, Fakultät für Informatik, Karlsruhe, 1996.

  5. Bernhard Beckert and Joachim Posegga. leanEA: a Lean Evolving Algebra Compiler. In Andreas Krall, Ulrich Geske (Ed): 11. Workshop Logische Programmierung. GMD-Studien Nr. 270, September 1995.

  6. Bernhard Beckert and Joachim Posegga. Lean Theorem Proving: Maximal Efficiency from Minimal Means. In Working Notes, AISB Workshop Automated Reasoning: Closing the Gap between Theory and Practice, Leeds, England, pages 7-8, April 1994.

  7. Joachim Posegga. Compiling Tableau-based Deduction for General formulæ. In Peter Baumgartner, editor, Workshop PTTP-basiertes Theorembeweisen, number 7/93 in Fachberichte Informatik. Universität Koblenz-Landau, 1993.

  8. David Basin, Bertram Fronhöfer, Reiner Hähnle, Joachim Posegga, and Camilla Schwind, editors. Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Marseilles, France. Published by: Max-Planck-Institut für Informatik, Saarbrücken, Germany (technical report 213), 1993.

  9. Joachim Posegga and Klaus Schneider. Deduction with first-order BDDs. In Basin et al.: Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Marseilles, France. Published by: Max-Planck-Institut für Informatik, Saarbrücken, Germany (technical report 213), 1993.

  10. Joachim Posegga. First-order Shannon Graphs. In Proc. Workshop on Theorem Proving with Analytic Tableau and Related Methods, Lautenbach, Germany, Mar 1992. published by: Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, technical report 8/92.

  11. Joachim Posegga. First-order Shannon Graphs. In Intern. Conf. on Fifth Generation Computer Systems / Workshop on Automated Deduction, ICOT TM-1184, Tokyo, Japan, June 1992.

  12. H. Müller, G. Moerkotte, and J. Posegga. Aspects of consistency driven planning. In Proc. Third International Workshop on the Deductive Approach to Information Systems and Databases, Roses, Spain, September 1992.

  13. G. Moerkotte and J. Posegga. Towards the Integration of Deductive Databases and Planning Systems. In GI-Workshop "Planen und Konfigurieren", Ulm, Germany, 1990. published by Forschungsinstitut für anwedungsorientierte Wissensverar- beitung (technical report).

  14. G. Moerkotte and J. Posegga. Consistency Driven Planning. In 5th GI-Workshop "Planen und Konfigurieren", Hamburg, Germany, 1991.

  15. J. Dix, J. Posegga, and P. H. Schmitt. Plangenerierung und nichtklassische Logiken. Interner Bericht 6/90, Universit ät Karlsruhe, Fakultät für Informatik, Feb. 1990.

 
  Impressum Last modified: 29/10/2007 - 10:01:26 by jp Seitenanfang