Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Antonio
    Last name: González-Burgueño
    DBLP: 167/7629
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 2 of 2  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Analysis of the PKCS#11 API Using the Maude-NPA Tool.
    Security Standardisation Research - Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Analysis of the IBM CCA Security API Protocols in Maude-NPA.
    Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings 2014 (0) 2014
    Show item 1 to 2 of 2  

    Your query returned 2 matches in the database.