Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003
    DBLP: db/conf/fasec/fasec2002.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 18  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Colin Boyd, Kapali Viswanathan.
    Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Ernie Cohen.
    TAPS: The Last Few Slides.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Antonio Durante, Roberto Di Pietro, Luigi V. Mancini.
    Formal Specification for Fast Automatic IDS Training.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Felix C. Freiling.
    Revisiting Liveness Properties in the Context of Secure Systems.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Dieter Gollmann.
    Analysing Security Protocols.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Andrew D. Gordon.
    Authenticity Types for Cryptographic Protocols.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Sigrid Gürgens, Carsten Rudolph.
    Security Analysis of (Un-) Fair Non-repudiation Protocols.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Anthony Hall.
    Z Styles for Security Properties and Modern User Interfaces.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Joseph Y. Halpern, Riccardo Pucella.
    Modeling Adversaries in a Logic for Security Protocol Analysis.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Gethin Norman, Vitaly Shmatikov.
    Analysis of Probabilistic Contract Signing.
    Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Show item 1 to 10 of 18  

    Your query returned 18 matches in the database.