Publications 2003

Main content

  • David Basin and Sebastian Mödersheim and Luca Viganò.
    Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols (Extended Abstract).
    In SPV'03. 2003.
    [abstract (TXT, 992 Bytes) | BibTeX (TXT, 1 KB)]
  • Achim D. Brucker and Burkhart Wolff.
    Using Theory Morphisms for Implementing Formal Methods Tools
    .
    In Types 2002, Proceedings of the workshop Types for Proof and Programs.
    LNCS 2646. Springer-Verlag, 2003.
    [abstract (TXT, 954 Bytes) | BibTeX (TXT, 1 KB) | DOI]
  • S. Gauch and J. Chaffee and A. Pretschner.
    Ontology-Based Personalized Search and Browsing
    .
    In J. Web Intelligence and Agent Systems, 1 (3-4), pages 219-234, 2003.
    [BibTeX (TXT, 334 Bytes)]
  • G. Hahn and J. Philipps and A. Pretschner and T. Stauner.
    Prototype-based Tests for Hybrid Reactive Systems.
    In Proceeding of the 14th IEEE International workshop on Rapid System Prototyping. IEEE, 2003.
    [abstract (TXT, 1 KB) | BibTeX (TXT, 2 KB) | DOI]
  • Heiko Mantel.
    A Uniform Framework for the Formal Specification and Verification of Information Flow Security
    .
    Saarland University, 2003.
    [BibTeX (TXT, 292 Bytes)]
  • Heiko Mantel and Andrei Sabelfeld.
    A Unifying Approach to the Security of Distributed and Multi-threaded Programs

    In Journal of Computer Security, 11 (4), 2003.
    [BibTeX (TXT, 313 Bytes) | URL]
  • J. Philipps and A. Pretschner and O. Slotosch and E. Aiglstorfer.
    Model-Based Test Case Generation for Smart Cards
    .
    In Electronic Notes in Theoretical Computer Science, 80, pages 168-182, 2003.
    [abstract (TXT, 750 Bytes) | BibTeX (TXT, 1 KB) | DOI]
  • Anindya Banerjee and Heiko Mantel and David Naumann and Andrei Sabelfeld.
    Final Report on Seminar 03411: Language-Based Security.
    Dagstuhl, 2003.
    [BibTeX (TXT, 292 Bytes)]
  • Dieter Hutter and Heiko Mantel and Axel Schairer.
    Informationsflusskontrolle als Grundlage für die Sicherheit von Multiagentensystemen
    .
    In Praxis der Informationsverarbeitung und Kommunikation (PIK), 26 (1), pages 39-47, 2003.
    [BibTeX (TXT, 414 Bytes) | DOI]
 
 
Page URL: http://www.infsec.ethz.ch/research/publications/pub2003.html
Fri May 26 05:42:54 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich