Aggiornamento Repository Istituzionale e dismissione di PORTO.

Pubblicazioni il cui periodico è "FORMAL ASPECTS OF COMPUTING"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Numero di pubblicazioni : 4.

Articolo di rivista Avalle M. ; Pironti A. ; Sisto R. (2014)
Formal Verification of Security Protocol Implementations: A Survey. In: FORMAL ASPECTS OF COMPUTING, vol. 26 n. 1, pp. 99-123. - ISSN 0934-5043
Web of Science: 9 - Scopus: 11
[img]
Preview

Articolo di rivista Pironti A.; Sisto R. (2014)
Safe abstractions of data encodings in formal security protocol models. In: FORMAL ASPECTS OF COMPUTING, vol. 26 n. 1, pp. 125-167. - ISSN 0934-5043
Web of Science: 0 - Scopus: 1
[img]
Preview

Articolo di rivista Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2008)
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis. In: FORMAL ASPECTS OF COMPUTING, vol. 20 n. 3, pp. 303-348. - ISSN 0934-5043 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 1
[img]

Articolo di rivista Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo
Formally sound implementations of security protocols with JavaSPI. In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043 (In stampa) [Disponibilità ristretta]
Scopus: 0
[img] [img]

Questa lista è stata generata il Tue Jan 23 04:39:38 2018 CET.