Security protocol specification and verification with AnBx

Institutions 1

Università Ca' Foscari Venezia

Macro area
Mathematics and Science

Category
Publication

From January 01, 2016 to January 01, 2016