JavaSPI: A Framework for Security Protocol Implementation

Il contenuto (Full text) non è disponibile all'interno di questo archivio. Spedisci una richiesta all'autore per una copia del documento
Tipo di pubblicazione: Articolo su rivista
Tipologia MIUR: Contributo su Rivista > Articolo in rivista
Titolo: JavaSPI: A Framework for Security Protocol Implementation
Autori: Avalle M., Pironti A., Pozza D., Sisto R.
Autori di ateneo:
Titolo del periodico: INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING
Tipo di referee: Tipo non specificato
Editore: IGI Global
Volume: 2
Numero: 4
Intervallo pagine: pp. 34-48
Numero di pagine: 15
ISSN: 1947-3036
Data: 2011
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: javaspi, java, model-driven development, formal methods, proverif
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
Area disciplinare: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Data di deposito: 14 Nov 2011 17:16
Data ultima modifica (IRIS): 07 Lug 2012 14:05:52
Data inserimento (PORTO): 28 Ott 2014 17:05
Numero Identificativo (DOI): 10.4018/jsse.2011100103
Permalink: http://porto.polito.it/id/eprint/2460611
Link resolver URL: Link resolver link

Azioni (richiesto il login)

Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)