Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Axel
    Last name: Schairer
    DBLP: 13/752
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 15  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer.
    Security of multi-agent systems: A case study on comparison shopping.
    J. Applied Logic 2007, Volume 5 (0) 2007
    Conference paper
    Heiko Mantel, Axel Schairer.
    Exploiting Generic Aspects of Security Models in Formal Developments.
    Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 2005 (0) 2005
    Conference paper
    Dieter Hutter, Axel Schairer.
    Possibilistic Information Flow Control in the Presence of Encrypted Communication.
    Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings 2004 (0) 2004
    Journal article
    Dieter Hutter, Heiko Mantel, Axel Schairer.
    Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.
    Praxis der Informationsverarbeitung und Kommunikation 2003, Volume 26 (0) 2003
    Conference paper
    Axel Schairer.
    Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems.
    Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers 2004 (0) 2003
    Conference paper
    Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer.
    The Development Graph Manager MAYA.
    Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Axel Schairer, Dieter Hutter.
    Proof Transformations for Evolutionary Formal Software Development.
    Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll.
    Verified Formal Security Models for Multiapplicative Smart Cards.
    Journal of Computer Security 2002, Volume 10 (0) 2002
    Conference paper
    Dieter Hutter, Axel Schairer.
    Towards an Evolutionary Formal Software Development.
    16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA 2001 (0) 2001
    Conference paper
    Axel Schairer, Serge Autexier, Dieter Hutter.
    A Pragmatic Approach to Reuse in Tactical Theorem Proving.
    Electr. Notes Theor. Comput. Sci. 2001, Volume 58 (0) 2001
    Show item 1 to 10 of 15  

    Your query returned 15 matches in the database.