Security Protocol Specification and Verification with AnBx

Michele Bugliesi
, Stefano Calzavara
, Sebastian Mödersheim
, Paolo Modesti

Research output: Contribution to journal › Article › peer-review

150 Downloads (Pure)

1 results
- Last Name(descending)

Paolo Modesti
- P.Modestitees.acuk
- Centre for Digital Innovation
- Department of Computing & Games - Senior Lecturer in Cybersecurity
Person: Academic