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, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001
    DBLP: db/conf/fosad/fosad2000.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 6 of 6  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Riccardo Focardi, Roberto Gorrieri.
    Classification of Security Properties (Part I: Information Flow).
    Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001 (0) 2000
    Conference paper
    Andrew D. Gordon.
    Notes on Nominal Calculi for Security and Mobility.
    Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001 (0) 2000
    Conference paper
    Joshua D. Guttman.
    Security Goals: Packet Trajectories and Strand Spaces.
    Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001 (0) 2000
    Conference paper
    Peter Y. A. Ryan.
    Mathematical Models of Computer Security.
    Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001 (0) 2000
    Conference paper
    Pierangela Samarati, Sabrina De Capitani di Vimercati.
    Access Control: Policies, Models, and Mechanisms.
    Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001 (0) 2000
    Conference paper
    Paul F. Syverson, Iliano Cervesato.
    The Logic of Authentication Protocols.
    Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001 (0) 2000
    Show item 1 to 6 of 6  

    Your query returned 6 matches in the database.