Publications
Search

Publications :: Search

Show venue

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

    Journal
    Name: Inf. Comput.
    Year: 2014
    Volume: 238
    DBLP: db/journals/iandc/iandc238.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
    Journal article
    Benoît Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison.
    Static analysis of XML security views and query rewriting.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune.
    Modeling and verifying ad hoc routing protocols.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    State space reduction in the Maude-NRL Protocol Analyzer.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov.
    Bounded memory Dolev-Yao adversaries in collaborative systems.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    Clara Bertolissi, Maribel Fernández.
    A metamodel of access control for distributed environments: Applications and properties.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini.
    Typing access control and secure information flow in sessions.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    Zhiqiang Liu, Christopher Lynch.
    Efficient general AGH-unification.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    Steve Kremer, Paliath Narendran.
    Foreword to the special issue on security and rewriting techniques.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    Véronique Cortier, Graham Steel.
    A generic security API for symmetric key management on cryptographic devices.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune.
    Deducibility constraints and blind signatures.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Show item 1 to 10 of 10  

    Your query returned 10 matches in the database.