Search

You searched for: Auteur Bella, Giampaolo Remove constraint Auteur: Bella, Giampaolo
1 - 2 of 2
Number of results to display per page

Search Results

1. Formal Correctness of Security Protocols
thumbnail
Full text!
Author:
Bella, Giampaolo; Abadi, Martin; Anderson, Ross
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
2. Innovative Security Solutions for Information Technology and Communications: 15th International Conference, SecITC 2022, Virtual Event, December 8–9, 2022, Revised Selected Papers
thumbnail
Full text!
Author:
Giampaolo Bella; Doinea, Mihai; Janicke, Helge
Publisher:
Springer Nature 2023
Format:
e-book