Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009
    URL: http://dx.doi.org/10.1007/978-3-642-03829-7
    DBLP: db/conf/fosad/fosad2009.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 10  
    Select a publication
    Show Title Venue Rating Date
    K. Rustan M. Leino, Peter Müller, Jan Smans.
    Verification of Concurrent Programs with Chalice.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2009
    Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie.
    Certified Static Analysis by Abstract Interpretation.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2009
    Martín Abadi.
    Logic in Access Control (Tutorial Notes).
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2009
    Javier Lopez, Rodrigo Roman, Cristina Alcaraz.
    Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2009
    Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini.
    Resource Usage Analysis and Its Application to Resource Certification.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2009
    Sebastian Mödersheim, Luca Viganò.
    The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2009
    Gilles Barthe, César Kunz.
    An Introduction to Certificate Translation.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2008
    David W. Chadwick.
    Federated Identity Management.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2008
    Bart Jacobs, Wolter Pieters.
    Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2008
    Santiago Escobar, Catherine Meadows, José Meseguer.
    Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.
    Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009 (0) 2007

    Your query returned 10 matches in the database.