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 : 3.

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: 6 - Scopus: 9
[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]

Questa lista è stata generata il Fri Nov 17 05:14:20 2017 CET.