OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 2008 Year: 2019 Repository: 34 Document Type: Sin Especificar Language: Inglés

Sort by Score Title Year -

11-11 from 11 results (0.009 seconds)

Title: Formal Support to Security Protocol Development: A Survey
Language: Inglés
Repository: 34
Subject: Computación / Formal methods / security protocols / protocol synthesis / protocol diagnosis and repair

AccederAcceder

« Previous 1 2 Next »